Jan M. Smith (smith-janm)

Beiträge zu Philosophie.ch

Bibliography

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.
Sambin, Giovanni and Smith, Jan M. 1998. Twenty Five Years of Constructive Type Theory. Oxford Logic Guides n. 36. Oxford: Oxford University Press.
Smith, Jan M. 1987. “On a Non-Constructive Type Theory and Program Derivation.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 331–340. New York: Plenum Press.
Smith, Jan M. 2012. “Evolution and Logic.” 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. 129–138. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.