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