Erik Palmgren. Constructive Sheaf Semantics. Math. Log. Q., 43:321-327, 1997.
@article{Palmgren97,
title = {Constructive Sheaf Semantics},
author = {Erik Palmgren},
year = {1997},
tags = {semantics},
researchr = {https://researchr.org/publication/Palmgren97},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {43},
pages = {321-327},
}