Searching for authors named "Dirk van Dalen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Enumerators of Lambda Terms Are Reducing Constructively
by Henk Barendregt, Dirk Van Dalen
…'Informatique Ecole Normale Sup'erieure Paris, France Dedicated in friendship to my teacher Dirk van Dalen…
Cited by 3 (1 self) – Add To MetaCart

ZERMELO AND THE SKOLEM PARADOX
by Dirk Van, Dalen, Heinz-dieter Ebbinghaus, Dirk Van Dalen, Heinz-dieter Ebb
… DIRK VAN DALEN AND HEINZ-DIETER EBBINGHAUS Dedicated to Mrs. Gertrud Zermelo on the occasion of her 95…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB