Basic Research Action: Types (Edinburgh)
This is the Edinburgh page for the Types BRA.
A list of people involved in the BRA in Edinburgh
A bibliography of documents produced in Edinburgh
- an interactive proof assistant for an extension of the Calculus of Constructions, developed at Edinburgh.
Site leader for the Types BRA in Edinburgh:
Last updated on 23 April 1996 by
Unless explicitly stated otherwise all material
is copyright © The University of Edinburgh
Comments and corrections to:
Last modified: Monday 4 September 2000