Types and consistency in combinatory algebras

Metadata Label Value
Author(s): Otth, Daniel
Publisher: Unknown
Citation:

Otth, Daniel. Types and consistency in combinatory algebras. (1992). http://dx.doi.org/10.3929/ethz-a-000646491

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

Detailed Information

Metadata Description
Title Types and consistency in combinatory algebras
Author(s) Otth, Daniel
Publication Place Zürich
Publication Date 1992
Notes Diss. Math. Wiss. ETH Zürich, Nr. 9800, 1992. Ref.: E. Engeler ; Korref.: H. Läuchli
Language English
DOI http://dx.doi.org/10.3929/ethz-a-000646491
Subject(s) Software
Fundamental Bases, Logic, Philosophy of Mathematics
Keyword(s) DECLARATIVE PROGRAMMING
LOGIC PROGRAMMING
PROGRAMMING METHODS
THEORY OF TYPES
MATHEMATICAL LOGIC
SPECIAL ALGEBRAS
CONSISTENCY
COMBINATORY LOGIC
MATHEMATICS
GRAPH THEORY
Description File Name MIME Type Size
Abstract   eth-38642-01.pdf application/pdf 152.71KB
Abstract Views and Downloads
Views 50  abstracts
Downloads 72  downloads

Abstract Views and Downloads by Country
Germany Views abstracts
Downloads 29  downloads
Views 26  abstracts
Downloads 16  downloads
United States Views abstracts
Downloads downloads
China Views 13  abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Egypt Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads


E-Collection record created: Wed, 18 Feb 2009, 13:13:38 CET