Name:	Dr J McKinna
Organisation:	University of Edinburgh
Department:	Sch of Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/K020218/1 A Theory of Least Change for Bidirectional Transformations (R) EP/D064015/1 Lexicalized Proof-Theoretic Semantics for Natural Language (C) GR/R72259/02 Epigram: Innovative Programming via Inductive Families (C) GR/R72259/01 Epigram: Innovative Programming via Inductive Families (C) GR/N24988/01 A CORE CALCULUS FOR HIGHER LEVEL PATTERNS OF PROOF IN TYPE THEORY (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator