People
Events
Research
Home
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>
.