Non-Well-Founded Sets. Center for the Study of Language and (1988)

by Peter Aczel
Venue:Information, Stanford University