Tomasz Pietrzykowski
Tomasz Pietrzykowski.
A complete mechanization of second-order type theory.
Journal of the ACM
, 20(2):333-365, April 1973.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database