Peter Dybjer (dybjer)

My contributions to Philosophie.ch

Bibliography

Dybjer, Peter. 2012. “Program Testing and the Meaning Explanations of Intuitionistic 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. 215–242. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.
Dybjer, Peter, Lindström, Sten, Palmgren, Erik and Sundholm, Göran, eds. 2012. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.
Dybjer, Peter, Nordström, Bengt and Smith, Jan M., eds. 1995. Types for Proofs and Programs: International Workshop TYPES’94, Bestad, Sweden, June 6–10. Berlin: Springer.
Dybjer, Peter and Palmgren, Erik. 2016. “Intuitionistic Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2016/entries/type-theory-intuitionistic/.
Dybjer, Peter and Palmgren, Erik. 2020. “Intuitionistic Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2020/entries/type-theory-intuitionistic/.
Pitts, Andrew M. and Dybjer, Peter. 1997. Semantics and Logics of Computation. Cambridge: Cambridge University Press.