| EPSRC Reference: |
GR/S79770/01 |
| Title: |
Multi-Lingual Sequent Calculus and Domain Theory |
| Principal Investigator: |
Jung, Emeritus Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Birmingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 November 2003 |
Ends: |
30 April 2004 |
Value (£): |
4,879
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Domain Theory in Logical Form is a framework which allows the semanticist to switch between an interpretation of programs and a program logic. It is based on Stone Duality and was developed into a powerful tool by Samson Abramsky for classical notions of computation. In order to also capture continuous phenomena, such as computation over real numbers, or probabilistic algorithms, the framework was extended in joint work between the Moshier, Kegelmann and the PI, and is referred to as multi-lingual sequent calculus (MLS).MLS is based on a duality for topological spaces. The project aims to reconcile MLS with standard notions of domain which are typically defined as certain ordered structures. It also aims to study the probabilistic powerspace construction and to find a more structural, and hence more informative, proof of its logical characterisation.The project will allow the visiting researcher, Prof. Chen, to get involved in the latest developments in MLS, and to bring his own experience with domain logics to bear.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.bham.ac.uk |