Zoekresultaten
Resultaat 1 - 2 (van 2)
Z.M. Ariola | J.W. Klop Lambda calculus with explicit recursion
Non-fictie
Engels | 75 pagina's | Vrije Universiteit Amsterdam, Amsterdam | 1997
Gedrukt boek
Marc Bezem | J.W. Klop | V. van Oostrom Diagram techniques for confluence
Non-fictie
Engels | 34 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek