Geodesic
Mengentheoretische Modelle des ...K-Kalküls.
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 65-74.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : lambda-calculus, non-founded set theory, strong extensionality 
@article{AMLG_1980__20_137961,
     author = {Michael v. Rimscha},
     title = {Mengentheoretische {Modelle} des {...K-Kalk\"uls.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {65--74},
     publisher = {mathdoc},
     volume = {20},
     year = {1980},
     language = {de},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1980__20_137961/}
}
TY  - JOUR
AU  - Michael v. Rimscha
TI  - Mengentheoretische Modelle des ...K-Kalküls.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1980
SP  - 65
EP  - 74
VL  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1980__20_137961/
LA  - de
ID  - AMLG_1980__20_137961
ER  - 
%0 Journal Article
%A Michael v. Rimscha
%T Mengentheoretische Modelle des ...K-Kalküls.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1980
%P 65-74
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1980__20_137961/
%G de
%F AMLG_1980__20_137961
Michael v. Rimscha. Mengentheoretische Modelle des ...K-Kalküls.. Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 65-74. http://geodesic.mathdoc.fr/item/AMLG_1980__20_137961/