Some representation problems in combinatory logic

Metadata Label Value
Author(s): Weibel, Trudy
Publisher: Unknown
Citation:

Weibel, Trudy. Some representation problems in combinatory logic. (1989). http://dx.doi.org/10.3929/ethz-a-000518475

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (199.07KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Some representation problems in combinatory logic
Author(s) Weibel, Trudy
Publication Place Zürich
Publication Date 1989
Notes Diss. Math. ETH Zürich, Nr. 8903, 1989. Ref.: E. Engeler ; Korref.: H. Läuchli
Language English
DOI http://dx.doi.org/10.3929/ethz-a-000518475
Subject(s) Fundamental Bases, Logic, Philosophy of Mathematics
Keyword(s) COMBINATORY LOGIC
MATHEMATICS
LAMBDA-CALCULUS
MATHEMATICAL LOGIC
UNIVERSAL ALGEBRAS
FREE ALGEBRAS
Description File Name MIME Type Size
Abstract   eth-37756-01.pdf application/pdf 199.07KB
Abstract Views and Downloads
Views 61  abstracts
Downloads 41  downloads

Abstract Views and Downloads by Country
Views 32  abstracts
Downloads 14  downloads
Germany Views abstracts
Downloads 13  downloads
Switzerland Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Wed, 18 Feb 2009, 12:02:26 CET