[an error occurred while processing this directive] An error occured whilst processing this directive

Basic Research Action: Types (Edinburgh)

This is the Edinburgh page for the Types BRA.

It includes:

A list of people involved in the BRA in Edinburgh.
A bibliography of documents produced in Edinburgh.
LEGO - an interactive proof assistant for an extension of the Calculus of Constructions, developed at Edinburgh.

Site leader for the Types BRA in Edinburgh: James McKinna <jhm@dcs.ed.ac.uk>.

Last updated on 23 April 1996 by Healfdene Goguen <hhg@dcs.ed.ac.uk>.

An error occured whilst processing this directive