Formale Stetigkeit und Modelle des Lambda-Kalküls
Closed access
Date
1978Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-000131262Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETH ZürichSubject
MODELLTHEORIE (MATHEMATISCHE LOGIK); LAMBDA-KALKÜL (MATHEMATISCHE LOGIK); MODEL THEORY (MATHEMATICAL LOGIC); LAMBDA-CALCULUS (MATHEMATICAL LOGIC)Notes
Diss. Math. ETH Zürich, Nr. 6167, 0000. Ref.: Läuchli, H. ; Korref.: Engeler, E..More
Show all metadata
ETH Bibliography
yes
Altmetrics