The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents on: lambda calculus

PP7 1991 Paper in Conference Proceedings Basin,D; Howe,D
Some Normalization Properties of Martin-Lof's Type Theory and Applications


[Search These Pages] [DAI Home Page] [Comment]