On the Reduction of Type Theory

Crabbé, Marcel

doi:10.1002/malq.19830290409

On the Reduction of Type Theory

Crabbé, Marcel

(1983) Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik — Vol. 29, n° 3, p. 235-237 (1983)

Files

No attached file found for this publication.

Details

Authors

Crabbé, MarcelUCLouvain
Author

Affiliations

UCLouvain

Citations

APA
Chicago
FWB

Crabbé, M. (1983). On the Reduction of Type Theory. Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik, 29(3), 235-237. https://doi.org/10.1002/malq.19830290409 (Original work published 1983)