![](/img/cover-not-exists.png)
A Complete Mechanization of Second-Order Type Theory
Pietrzykowski, TomaszVolume:
20
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/321752.321764
Date:
April, 1973
File:
PDF, 1.94 MB
english, 1973