Peter Dybjer (dybjer)
Mentioned on the following portal pages
Stanford Encyclopedia of PhilosophyContributions to Philosophie.ch
No contributions yet
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/.