Ingrid Lindstrom

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)