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

by S Abramsky
Venue:We Will Show Them: Essays in honour of Dov Gabbay