Peter Dybjer. Program Testing and the Meaning Explanations of Intuitionistic Type Theory. In Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm, editors, Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Volume 27 of Logic, Epistemology, and the Unity of Science, pages 215-241, Springer, 2012. [doi]
@incollection{Dybjer12a, title = {Program Testing and the Meaning Explanations of Intuitionistic Type Theory}, author = {Peter Dybjer}, year = {2012}, doi = {10.1007/978-94-007-4435-6_11}, url = {http://dx.doi.org/10.1007/978-94-007-4435-6_11}, researchr = {https://researchr.org/publication/Dybjer12a}, cites = {0}, citedby = {0}, pages = {215-241}, booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf}, editor = {Peter Dybjer and Sten Lindström and Erik Palmgren and Göran Sundholm}, volume = {27}, series = {Logic, Epistemology, and the Unity of Science}, publisher = {Springer}, isbn = {978-94-007-4435-6}, }