Published February 1, 1987
| Version v1
Report
Open
Strong Normalization for Terms of the Theory of Constructions
Description
This version is an author's annotated pre-print uploaded with the permission of the author's estate.
Files
pottinger1987 - Strong Normalization for Terms of the Theory of Constructions.pdf
Files
(16.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:67aa1d2ddbf1f1ace6907015e453b32b
|
16.3 MB | Preview Download |