EPSRC logo
Researcher Details
 
Name: Professor A Simpson
Organisation: University of Ljubljana
Department: UNLISTED
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/F042043/1 Linear Observations and Computational Effects(P)
EP/E016146/1 Relational Parametricity for Computational Effects(P)
EP/E009069/1 Copy of Copy of Symposium in Honour of Gordon Plotkin(P)
GR/S46710/01 Topological Models for Computational Metalanguages(P)
GR/S55941/01 Computational Adequacy for Models of Parametric Polymorphism(P)
GR/R93339/01 Computer Science Logic 2002(C)
GR/A11731/01 MODELS AND AXIOMS FOR THE SEMANTICS OF COMPUTATION(P)
GR/M06109/01 CATEGORICAL LOGIC AND STRUCTURE IN DENOTATIONAL SEMANTICS(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator