Computation with classical sequents (2008)

by Steffen van Bakel, Pierre Lescanne
Venue:MATHEMATICAL STRUCTURES OF COMPUTER SCIENCE