Andrei Rodin Made a Report on the Conference in Tübingen

Andrei Rodin made a presentation at the Third Tübingen Conference on Proof-Theoretic Semantics.

---

The Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy Andrei Rodin made the report "Extra-logical proof-theoretic semantics in HoTT" at the Third Tübingen Conference on Proof-Theoretic Semantics. The conference was held by the Eberhard Karls Universität Tübingen (Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Germany) on March 27-30.