# Your search

Author or contributor

## Results

14 resources-
Jacobs, B. (2017). Quantum effect logic in cognition.
*Journal of Mathematical Psychology*,*81*, 1–10. https://doi.org/10/gcnkcj -
Jacobs, B. (2015). New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic.
*Logical Methods in Computer Science*,*11*(3), 24. https://doi.org/10/ggdf99 -
Jacobs, B. (2018). From probability monads to commutative effectuses.
*Journal of Logical and Algebraic Methods in Programming*,*94*, 200–237. https://doi.org/10/gct2wr -
Jacobs, B. (2018). Categorical Aspects of Parameter Learning.
*ArXiv:1810.05814 [Cs]*. Retrieved from http://arxiv.org/abs/1810.05814 -
Jacobs, B., & Adams, R. (2015). A Type Theory for Probabilistic and Bayesian Reasoning.
*ArXiv:1511.09230 [Cs, Math]*. Retrieved from http://arxiv.org/abs/1511.09230 -
Jacobs, B., & Sprunger, D. (2018). Neural Nets via Forward State Transformation and Backward Loss Transformation.
*ArXiv:1803.09356 [Cs]*. Retrieved from http://arxiv.org/abs/1803.09356 -
Jacobs, B., & Furber, R. (2015). Towards a Categorical Account of Conditional Probability.
*Electronic Proceedings in Theoretical Computer Science*,*195*, 179–195. https://doi.org/10/ggdf9w -
Jacobs, B., & Zanasi, F. (2016). A Predicate/State Transformer Semantics for Bayesian Learning.
*Electronic Notes in Theoretical Computer Science*,*325*, 185–200. https://doi.org/10/ggdgbb -
Jacobs, B., & Sprunger, D. (2019). The differential calculus of causal functions.
*ArXiv:1904.10611 [Cs]*. Retrieved from http://arxiv.org/abs/1904.10611 -
Jacobs, B., & Cho, K. (2019). Disintegration and Bayesian Inversion via String Diagrams.
*Mathematical Structures in Computer Science*,*29*(7), 938–971. https://doi.org/10/ggdf9v -
Jacobs, B., & Zanasi, F. (2018). The Logical Essentials of Bayesian Reasoning.
*ArXiv:1804.01193 [Cs]*. Retrieved from http://arxiv.org/abs/1804.01193 -
Jacobs, B., & Zanasi, F. (2017). A Formal Semantics of Influence in Bayesian Reasoning.
*Schloss Dagstuhl - Leibniz-Zentrum Fuer Informatik GmbH, Wadern/Saarbruecken, Germany*. https://doi.org/10/ggdgbc -
Jacobs, B., Kissinger, A., & Zanasi, F. (2019). Causal Inference by String Diagram Surgery.
*ArXiv:1811.08338 [Cs, Math]*. Retrieved from http://arxiv.org/abs/1811.08338 -
Cho, K., Jacobs, B., Westerbaan, B., & Westerbaan, A. (2015). An Introduction to Effectus Theory.
*ArXiv:1512.05813 [Quant-Ph]*. Retrieved from http://arxiv.org/abs/1512.05813

## Explore

### BIOLOGY, NEUROSCIENCE & PSYCHOLOGY

- Psychology (1)

### CATEGORICAL LOGIC

- Effectus theory (8)

### DIFFERENTIAL CALCULUS

- Differentiation (1)

### MACHINE LEARNING

- Machine Learning (3)

### PROBABILITY & STATISTICS

### PROGRAMMING LANGUAGES

### Methodology

- Implementation (4)

### Topic

- Automatic differentiation (1)
- Bayesianism (7)
- Categorical ML (3)
- Categorical probability theory (9)
- Differentiation (1)
- Effectus theory (8)
- Implementation (1)
- Machine learning (2)
- Programming language theory (2)
- Psychology (1)
- Semantics (2)
- Type theory (1)

### Resource type

- Journal Article (14)

### Publication year

### Online resource

- yes (14)