Bart Jacobs in nLab
Selected writings
On dependent type theory and its categorical semantics (categorical semantics of dependent types):
-
Bart Jacobs, Comprehension categories and the semantics of type dependency, Theoret. Comput. Sci. 107 2 (1993) 169-207 [MR1201808, doi:10.1016/0304-3975(93)90169-T]
-
Bart Jacobs, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics 141, Elsevier (1998) [ISBN:978-0-444-50170-7, pdf, webpage]
On category theoretic probability theory (cf. convex powerset of distributions monad):
- Bart Jacobs, Coalgebraic trace semantics for combined possibilitistic and probabilistic systems, Proceedings of CMCS 2008, ENTCS 203 5 (2008) 131-152 [doi:10.1016/j.entcs.2008.05.023]
On CD-categories (gs-monoidal categories) and what came to be known as Markov categories (affine CD categories):
- Kenta Cho, Bart Jacobs, Disintegration and Bayesian inversion via string diagrams, Mathematical Structures in Computer Science 29 7 (2019) 938-971 [arXiv:1709.00322, doi:10.1017/S0960129518000488]
Last revised on February 8, 2025 at 14:41:25. See the history of this page for a list of all contributions to it.