Loeb - Sets With Negative Number of Elements
Sondergaard, Sestoft - Referential Transparency, Definiteness and Unfoldability
7trees.ps
10.1.1.32.2422