Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Theoretical Aspects of Computer Software-91 (TACS-91)
| Editors: | Ito, T.; Meyer, A.R.
| Book#: | 0387544151
| Publisher: | Springer-Verlag, Berlin, London
| Volume: | 526
| Pages: | MISSING
| |
Paper in Conference Proceedings #7 | |
Title: | Some Normalization Properties of Martin-Lof's Type Theory and Applications |
---|---|
Authors: | Basin,D; Howe,D |
Date: | 1991 |
Presented: | |
Keywords: | lambda calculus, type theory |