|
| Name: |
Professor JME Hyland |
| Organisation: |
University of Cambridge |
| Department: |
Pure Maths and Mathematical Statistics |
| Current EPSRC-Supported Research
Topics: |
|
| Current EPSRC Support |
| There is no current EPSRC Support |
| Previous EPSRC Support |
| EP/D057388/1 | Mathematics of General Relativity | (P) |
| GR/R40791/01 | ICMS Workshop on Proof Theory and Algorithms | (P) |
| GR/R29697/01 | The Semantics of Classical Proofs | (P) |
| GR/L27848/01 | UNIFORM GAME SEMANTICS FOR COMPUTATION AND REASONING | (P) |
| GR/H13246/01 | APPLICATIONS OF CATEGORY THEORY TO TOPOLOGY LOGIC AND THEORETICAL COMPUTER SCIENCE | (P) |
| GR/F36675/01 | FOUNDATIONS AND TOOLS FOR FORMAL VERIFICATION | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|