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>.