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