Vrijer, R. d. (1987). Surjective pairing and strong normalization: Two themes in lambda calculus. Eburon.
Chicago-Zitierstil (17. Ausg.)Vrijer, Roel de. Surjective Pairing and Strong Normalization: Two Themes in Lambda Calculus. Delft: Eburon, 1987.
MLA-Zitierstil (9. Ausg.)Vrijer, Roel de. Surjective Pairing and Strong Normalization: Two Themes in Lambda Calculus. Eburon, 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.