On proof terms and embeddings of classical substructural logics (0)

by K Fujita
Venue:Stadia Logica