1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
Marc Bezem, Ulrik Buchholtz, Thierry Coquand
We present three syntactic forcing models for coherent logic. These are based on sites whose underlying category only depends on the signature of the coherent theory, and they do n…