![](/img/cover-not-exists.png)
Proofs of the normalization and Church-Rosser theorems for the typed $\lambda$-calculus.
Pottinger, GarrelVolume:
19
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1093888405
Date:
July, 1978
File:
PDF, 624 KB
english, 1978