A Formulae-as-Types Interpretation of Subtractive Logic (0)

by T Crolard
Venue:In: Journal of Logic and Computation