Formale Stetigkeit und Modelle des Lambda-Kalkuels
By: von Henri Volken
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1978
Place of publication: [s.l.]
Language: ger
Number of pages: 57
Notes: Thesis (doctoral)--Eidgenössische Technische Hochschule Zürich, 1978.