4 Results for (keywords_en:LAMBDA-CALCULUS)

Subscribe to RSS feed for this result set

1. Formale Stetigkeit und Modelle des Lambda-Kalküls

Volken, Henri (1978)


Doctoral and Habilitation Theses

2. Theorie und Anwendung des Graphmodells der Kombinatorischen Logik

Fehlmann, Thomas Michael (1981)


Doctoral and Habilitation Theses

3. Some representation problems in combinatory logic

Weibel, Trudy (1989)


Doctoral and Habilitation Theses

4. Graph algebras, algebraic and denotational semantics

Maeder, Roman E., Maeder, Roman E. and Maeder, Roman E. (1986)


Doctoral and Habilitation Theses