TY  - RPRT
TI  - Syntactic Forcing Models for Coherent Logic
AU  - Marc Bezem
AU  - Ulrik Buchholtz
AU  - Thierry Coquand
PY  - 2017
UR  - https://arxiv.org/abs/1712.07743
ID  - 1712.07743
ER  -