Formale Stetigkeit und Modelle des Lambda-Kalküls

Autor:	Volken, Henri.
Jazyk:	němčina
Rok vydání:	1978
Popis:	Diss. Nr. 6167 math. ETH Zürich.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://e-collection.ethbib.ethz.ch/show?type=diss&nr=6167 Zobrazit plný text záznamu