Bengt Nordström (nordstroem-b)

Contributions to 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.
Nordström, Bengt, Petersson, K. and Smith, J. M. 2000. “Martin-Löf’s Type Theory.” in Handbook of Logic in Computer Science. Volume 5. Logic and Algebraic Methods, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 1–38. Oxford: Oxford University Press.