[Pi][lambda]-Kalküle für Prozesse und Funktionen
By: Christoph Crasemann. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel
Contributors: Universität Kiel
Series: Bericht -- 9302
Publisher: Inst. für Informatik und Praktische Mathematik, Univ.
Published: 1993
Place of publication: Kiel
Language: ger
Number of pages: 150
Other titles: Pi lambda.
Notes: Zsfassung in engl. Sprache.

Thesis (doctoral)--Christian-Albrechts-Universität zu Kiel, 1993.