A formulae-as-types interpretation of subtractive logic (2004)

Cached

Download Links

by Tristan Crolard
Venue:Journal of Logic and Computation
Citations:33 - 1 self