Extra-logical proof-theoretic semantics in HoTT

Research output: Contribution to conferenceAbstractpeer-review

Original languageEnglish
Pages765-786
Number of pages21
StatePublished - 2019
EventProof-Theoretic Semantics: Assessment and Future Perspectives - , Germany
Duration: 27 Mar 201930 Mar 2019

Conference

ConferenceProof-Theoretic Semantics: Assessment and Future Perspectives
CountryGermany
Period27/03/1930/03/19

Cite this