Referenzen
Guilhem Jaber
with Coquand Thierry (2012). A computational interpretation of forcing in type theory. In P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.) Epistemology versus ontology (pp. 203-213). Dordrecht: Springer.
with Coquand Thierry (2012). A computational interpretation of forcing in type theory. In P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.) Epistemology versus ontology (pp. 203-213). Dordrecht: Springer.