Tijn Borghuis (borghuis)

Contributions à Philosophie.ch

Bibliography

Ahn, Reni M. C., Beun, Robbert-Jan, Borghuis, Tijn, Bunt, Harry C. and Overveld, C. van. 1994. “The DenK Architecture: A Fundamental Approach to User Interfaces.” Artificial Intelligence Review 8: 431–445.
Borghuis, Tijn. 1993. “Interpreting Modal Natural Deduction in Type Theory.” in Diamonds and Defaults, edited by Maarten de Rijke, pp. 67–102. Synthese Library n. 229. Dordrecht: Kluwer Academic Publishers.
Borghuis, Tijn. 1998. “Modal Pure Type Systems: Type Theory for Knowledge Representation.” Journal of Logic, Language, and Information 7(3): 265–296.
Dechesne, Francien and Borghuis, Tijn. 2021. “On Verification and Validation in Engineering.” in The Routledge Handbook of the Philosophy of Engineering, edited by Diane P. Michelfelder and Neelke Doorn, pp. 435–446. Routledge Handbooks in Philosophy. London: Routledge.