Constable, R. L., & Mendler, N. P. (1985). Recursive definitions in type theory.
Chicago-Zitierstil (17. Ausg.)Constable, Robert Lee, und N. P. Mendler. Recursive Definitions in Type Theory. Ithaca, NY, 1985.
MLA-Zitierstil (9. Ausg.)Constable, Robert Lee, und N. P. Mendler. Recursive Definitions in Type Theory. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.