Ingrid Lindstrom Vis

List of publications from the DBLP Bibliography Server - FAQ

* 1989

1 Ingrid Lindstrom: A Construction of Non-Well-Founded Sets within Martin-Lof's Type Theory. J. Symb. Log. 54(1): 57-64 (1989)