Standard

Extra-logical proof-theoretic semantics in HoTT. / Родин, Андрей Вячеславович.

2019. 765-786 Abstract from Proof-Theoretic Semantics: Assessment and Future Perspectives, Germany.

Research output: Contribution to conference › Abstract › peer-review

Harvard

Родин, АВ 2019, 'Extra-logical proof-theoretic semantics in HoTT', Proof-Theoretic Semantics: Assessment and Future Perspectives, Germany, 27/03/19 - 30/03/19 pp. 765-786. <https://publikationen.uni-tuebingen.de/xmlui/handle/10900/93935>

APA

Родин, А. В. (2019). Extra-logical proof-theoretic semantics in HoTT. 765-786. Abstract from Proof-Theoretic Semantics: Assessment and Future Perspectives, Germany. https://publikationen.uni-tuebingen.de/xmlui/handle/10900/93935

Vancouver

Родин АВ. Extra-logical proof-theoretic semantics in HoTT. 2019. Abstract from Proof-Theoretic Semantics: Assessment and Future Perspectives, Germany.

Author

Родин, Андрей Вячеславович. / Extra-logical proof-theoretic semantics in HoTT. Abstract from Proof-Theoretic Semantics: Assessment and Future Perspectives, Germany.21 p.

BibTeX

@conference{e6415967f61f4ad689ae1cee119a6b3e,
title = "Extra-logical proof-theoretic semantics in HoTT",
author = "Родин, {Андрей Вячеславович}",
year = "2019",
language = "English",
pages = "765--786",
note = "Proof-Theoretic Semantics: Assessment and Future Perspectives ; Conference date: 27-03-2019 Through 30-03-2019",

}

RIS

TY - CONF

T1 - Extra-logical proof-theoretic semantics in HoTT

AU - Родин, Андрей Вячеславович

PY - 2019

Y1 - 2019

M3 - Abstract

SP - 765

EP - 786

T2 - Proof-Theoretic Semantics: Assessment and Future Perspectives

Y2 - 27 March 2019 through 30 March 2019

ER -

ID: 75061423