[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

Jim Apple

More information about the Types-list mailing list