A Cook’s Tour of the Finitary Non-Well-Founded Sets (1988)

by S Abramsky
Venue:Invited Lecture at BCTCS