Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/jacobs-b

Bart Jacobs (jacobs-b)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Jacobs, Bart. 1989. The Inconsistency of Higher Order Extensions of Martin-Löf’s Type Theory.” The Journal of Philosophical Logic 18(4): 399–422.
    Jacobs, Bart. 1998. Categorial Logic and Type Theory. Studies in Logic and the Foundations of Mathematics n. 141. Amsterdam: Elsevier Science Publishers B.V.
    Jacobs, Bart and Mandemaker, Jorik. 2016. Relating Operator Spaces Via Adjunctions.” in Logic and Algebraic Structures in Quantum Computing, edited by Jennifer Chubb, Ali Eskandarian, and Valentina Harizanov, pp. 123–150. Cambridge: Cambridge University Press, doi:10.1017/cbo9781139519687.