Dag Prawitz. On the Relation Between Heyting's and Gentzen's Approaches to Meaning. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 5-25, Springer, 2016. [doi]
@incollection{Prawitz16,
title = {On the Relation Between Heyting's and Gentzen's Approaches to Meaning},
author = {Dag Prawitz},
year = {2016},
doi = {10.1007/978-3-319-22686-6_2},
url = {https://doi.org/10.1007/978-3-319-22686-6_2},
researchr = {https://researchr.org/publication/Prawitz16},
cites = {0},
citedby = {0},
pages = {5-25},
booktitle = {Advances in Proof-Theoretic Semantics},
editor = {Thomas Piecha and Peter Schroeder-Heister},
volume = {43},
series = {Trends in Logic},
publisher = {Springer},
isbn = {978-3-319-22686-6},
}