Acta Structuralica
international journal for structuralist research
Journal | Authors
A computational interpretation of forcing in type theory
2012
Thierry Coquand Guilhem Jaber
in: Epistemology versus ontology, Dordrecht : Springer
