Search
Full bibliography
146 resources
Wilkinson, D. (2019, August 7). Write your own generalpurpose monadic probabilistic programming language from scratch in 50 lines of (Scala) code. Retrieved November 27, 2019, from https://darrenjw.wordpress.com/2019/08/07/writeyourowngeneralpurposemonadicprobabilisticprogramminglanguagefromscratchin50linesofscalacode/

Paul, A., & Venkatasubramanian, S. (2015). Why does Deep Learning work?  A perspective from Group Theory. ArXiv:1412.6621 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1412.6621

McCullagh, P. (2002). What is a statistical model? The Annals of Statistics, 30(5), 1225–1310. https://doi.org/10/bkts3m

Tsuchiya, N., Taguchi, S., & Saigo, H. (2016). Using category theory to assess the relationship between consciousness and integrated information theory. Neuroscience Research, 107, 1–7. https://doi.org/10/ggdf95

Rutten, J. J. M. M. (2000). Universal coalgebra: a theory of systems. Theoretical Computer Science, 249(1), 3–80. https://doi.org/10/fqrjpn

Zhang, C., Bengio, S., Hardt, M., Recht, B., & Vinyals, O. (2017). Understanding deep learning requires rethinking generalization. ArXiv:1611.03530 [Cs]. Retrieved from http://arxiv.org/abs/1611.03530

Andreatta, M., Ehresmann, A., Guitart, R., & Mazzola, G. (2013). Towards a Categorical Theory of Creativity for Music, Discourse, and Cognition. In J. Yust, J. Wild, & J. A. Burgoyne (Eds.), Mathematics and Computation in Music (pp. 19–37). Berlin, Heidelberg: Springer. https://doi.org/10/ggdndz

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

Hess, K., Dotko, P., Levi, R., Nolte, M., Reimann, M., Scolamiero, M., … Markram, H. (2017). Topological analysis of the connectome of digital reconstructions of neural microcircuits. Frontiers in Computational Neuroscience, 11, 48. https://doi.org/10/gdjbfn

Lawvere, F. W. (1994). Tools for the Advancement of Objective Logic: Closed Categories and Toposes. In J. Macnamara & G. E. Reyes (Eds.), The Logical Foundations of Cognition (pp. 43–56). Oxford University Press USA.

Poggio, T. (2013). Tomaso A. Poggio autobiography (p. 54). Retrieved from http://poggiolab.mit.edu/sites/default/files/cv/tomasopoggio.pdf

Mazzola, G. (2002). The Topos of Music: Geometric Logic of Concepts, Theory, and Performance. Birkhäuser Basel. https://doi.org/10.1007/9783034881418

Elliott, C. (2018). The simple essence of automatic differentiation. ArXiv:1804.00746 [Cs]. Retrieved from http://arxiv.org/abs/1804.00746

Rosen, R. (1958). The representation of biological systems from the standpoint of the theory of categories. The Bulletin of Mathematical Biophysics, 20(4), 317–341. https://doi.org/10/fdgzxz

Jacobs, B., & Zanasi, F. (2018). The Logical Essentials of Bayesian Reasoning. ArXiv:1804.01193 [Cs]. Retrieved from http://arxiv.org/abs/1804.01193

Boutillier, P., Maasha, M., Li, X., MedinaAbarca, H. F., Krivine, J., Feret, J., … Fontana, W. (2018). The Kappa platform for rulebased modeling. Bioinformatics, 34(13), i583–i592. https://doi.org/10/gdrhw6

Boutillier, P., Feret, J., Krivine, J., & Fontana, W. (n.d.). The Kappa Language and Kappa Tools, 52.

Dal Lago, U., & Hoshino, N. (2019). The Geometry of Bayesian Programming (pp. 1–13). https://doi.org/10/ggdk85

Ehrhard, T., & Regnier, L. (2003). The differential lambdacalculus. Theoretical Computer Science, 309(1), 1–41. https://doi.org/10/bf3b8v

Jacobs, B., & Sprunger, D. (2019). The differential calculus of causal functions. ArXiv:1904.10611 [Cs]. Retrieved from http://arxiv.org/abs/1904.10611
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
 Biology (29)
 Neuroscience (16)
 Psychology (6)
CATEGORICAL LOGIC
 Effectus theory (8)
 Linear logic (21)
DIFFERENTIAL CALCULUS
 Differentiation (18)
MACHINE LEARNING
 Machine Learning (45)
MODEL CHECKING AND STATE MACHINES
 Coalgebras (8)
 Rewriting theory (9)
 Symbolic logic (7)
 Transition systems (22)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
 Programming language theory (59)
 Type theory (6)
Methodology
 Compendium (4)
 Implementation (23)
 Sketchy (18)
Topic
 Abstract machines (8)
 Adversarial attacks (5)
 Algebra (7)
 Automatic differentiation (7)
 Bayesian inference (12)
 Bayesianism (15)
 Biology (18)
 Categorical ML (12)
 Categorical probability theory (16)
 Classical ML (19)
 Coalgebras (8)
 Coherence spaces (4)
 Compendium (4)
 Denotational semantics (21)
 Differential Linear Logic (8)
 Differentiation (18)
 Effectus theory (8)
 Emergence (13)
 Game semantics (3)
 Implementation (20)
 Interactive semantics (5)
 Linear logic (18)
 Machine learning (32)
 Neuroscience (13)
 Powerdomains (4)
 Probabilistic programming (29)
 Probabilistic transition systems (7)
 Programming language theory (32)
 Psychology (6)
 Purely theoretical (8)
 Rewriting theory (9)
 Semantics (11)
 Sketchy (14)
 Statistical learning theory (2)
 Symbolic logic (7)
 Systems biology (8)
 Topological data analysis (4)
 Transition systems (10)
 Type theory (2)
Resource type
 Blog Post (1)
 Book (5)
 Book Section (6)
 Computer Program (4)
 Conference Paper (25)
 Journal Article (98)
 Manuscript (1)
 Presentation (5)
 Web Page (1)
Publication year
 Between 1900 and 1999 (13)
 Between 2000 and 2021 (128)
 Unknown (5)