Surjective pairing and strong normalization
Subtitle: two themes in lambda calculus
By: by Roel de Vrijer
Publisher: Uitgeverij Eburon
Published: 1987
Place of publication: Delft [Netherlands]
Language: eng
Number of pages: 129
Subjects: Lambda calculus
Notes: Cover title.

Thesis title page in Dutch.

Thesis (doctoral)--University of Amsterdam, 1987.

Includes bibliographical references.