Print
Proof-theoretic analysis of negative translations in substructural logics
Room / venue details:
156
Address:
Old Arts, Parkville - 3010, Australia