Guilhem Jaber (jaber-g)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Coquand, Thierry and Jaber, Guilhem. 2012. “A Computational Interpretation of Forcing in Type Theory.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 203–214. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.