Bart Jacobs

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.