Klop, J. W., & Vrijer, R. d. (1987). Unique normal forms for lambda calculus with surjective pairing.
Chicago-Zitierstil (17. Ausg.)Klop, Jan Willem, und Roel de Vrijer. Unique Normal Forms for Lambda Calculus with Surjective Pairing. Amsterdam, 1987.
MLA-Zitierstil (9. Ausg.)Klop, Jan Willem, und Roel de Vrijer. Unique Normal Forms for Lambda Calculus with Surjective Pairing. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.