A syntactic proof of cut elimination for GL lin . Zeitschrift fur Mathematische Logik und Grundlagen der (1986)

by S Valentini
Venue:Mathematik