Browsing Informatics, School of by Sponsor "British Science and Engineering Research Council"
Now showing items 1-1 of 1
(University of Edinburgh. College of Science and Engineering. School of Informatics., 1995-07)LEGO is a computer program for interactive typechecking in the Extended Calculus of Constructions and two of its subsystems. LEGO also supports the extension of these three systems with inductive types. These type systems ...