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

Cached

Download Links

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