A Cook’s tour of the finitary non-well-founded sets (1988)

by Samson Abramsky
Venue:Invited Lecture at BCTCS
Citations:21 - 0 self