Print

Proof-theoretic analysis of negative translations in substructural logics

Room / venue details: 156
Address: Old Arts, Parkville - 3010, Australia