HDS-30: Surjective pairing and strong normalization: two themes in lambda calculus

HDS-30: de Vrijer, Roel (2019) Surjective pairing and strong normalization: two themes in lambda calculus. Doctoral thesis, University of Amsterdam.

	Text (Samenvatting) HDS-30-Roel-de-Vrijer.samenvatting.txt Download (2kB)
	Text (Full Text (DJVU)) HDS-30-Roel-de-Vrijer.text.djvu Download (2MB)
	Text (Full Text (PDF)) HDS-30-Roel-de-Vrijer.text.pdf Download (12MB)

Item Type:	Thesis (Doctoral)
Report Nr:	HDS-30
Series Name:	ILLC Historical Dissertation (HDS) Series
Year:	2019
Additional Information:	Originally published: January 1987 (UvA).
Depositing User:	Dr Marco Vervoort
Date Deposited:	11 Jan 2022 23:21
Last Modified:	26 Sep 2025 00:58
URI:	https://eprints.illc.uva.nl/id/eprint/1862

Actions (login required)

View Item