A Cook's Tour of the Finitary Non-Well-Founded Sets

Samson Abramsky A Cook's Tour of the Finitary Non-Well-Founded Sets http://arxiv.org/abs/1111.7148 2011 CoRR abs/1111.7148 db/journals/corr/corr1111.html#abs-1111-7148