A Construction of Non-Well-Founded Sets within Martin-Löf's Type Theory
In: The Journal of Symbolic Logic, Jg. 54 (1989-03-01), Heft 1, S. 57-64
Online
academicJournal
Zugriff:
Titel: |
A Construction of Non-Well-Founded Sets within Martin-Löf's Type Theory
|
---|---|
Autor/in / Beteiligte Person: | Lindström, Ingrid |
Link: | |
Zeitschrift: | The Journal of Symbolic Logic, Jg. 54 (1989-03-01), Heft 1, S. 57-64 |
Veröffentlichung: | 1989 |
Medientyp: | academicJournal |
ISSN: | 0022-4812 (print) |
DOI: | 10.2307/2275015 |
Sonstiges: |
|