Computation with Classical Sequents (0)

by S van Bakel, P Lescanne
Venue:Mathematical Structures in Computer Science