uva.nl

Institute for Logic, Language and Computation

Instituut voor Taal, Logika en Informatie (ITLI) Series (1986-1987)

ITLI-1987-03:
Jan Willem Klop, Roel de Vrijer Unique Normal Forms for Lambda Calculus with Surjective Pairing
< Back

Back