Classical proofs via basic logic (1997)

by C Faggian
Venue:in Proceedings of CSL ’97, Lectures Notes in Computer Science