[TYPES] Limited use of negation types?

Jim Apple japple+types at freeshell.org
Thu Dec 22 19:50:05 EST 2005


I recall seeing somewhere a paper on the limited use of classical logic
in functional programming, that somehow negation types had an
interpretation under certain circumstances.

I know I downloaded the paper, but I don't know where I put it. ANy
pointers?

Jim Apple


More information about the Types-list mailing list