Constructive sheaf semantics (1997)

by ERIK PALMGREN
Venue:Mathematical Logic Quarterly