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

by T Crolard
Venue:Journal of Logic and Computation