Zoekresultaten
Resultaat 1 - 5 (van 5)
Roel de Vrijer Surjective pairing and strong normalization
two themes in lambda calculus
Non-fictie
Engels | 129 pagina's | Eburon, Delft | 1987
Gedrukt boek
J.W. Klop | Roel de Vrijer Extended term rewriting systems
Non-fictie
Engels | 25 pagina's | Vrije Universiteit, Amsterdam | 1991
Gedrukt boek
Roel de Vrijer Unique normal forms for combinatory logic with parallel conditional
a case study in conditional rewriting
Non-fictie
Engels | 12 pagina's | Vrije Universiteit, Amsterdam | 1990
Gedrukt boek
I. Bethke | J.W. Klop | Roel de Vrijer Descendants and origins in term rewriting
Non-fictie
Engels | 72 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
Roel de Vrijer Conditional linearization
Non-fictie
Engels | 14 pagina's | Vrije Universiteit, Amsterdam | 1998
Gedrukt boek