Nissim Francez. Views of proof-theoretic semantics: reified proof-theoretic meanings. Journal of Logic and Computation, 26(2):479-494, 2016. [doi]
@article{Francez16a,
title = {Views of proof-theoretic semantics: reified proof-theoretic meanings},
author = {Nissim Francez},
year = {2016},
doi = {10.1093/logcom/exu035},
url = {http://dx.doi.org/10.1093/logcom/exu035},
researchr = {https://researchr.org/publication/Francez16a},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {26},
number = {2},
pages = {479-494},
}