Curry’s Paradox in Contractionless Constructive Logic (1996)

by S Akama
Venue:Journal of Philosophical Logic