Search
Full bibliography
146 resources
Abramsky, S., Haghverdi, E., & Scott, P. (2002). Geometry of Interaction and Linear Combinatory Algebras. Mathematical. Structures in Comp. Sci., 12(5), 625–665. https://doi.org/10/fcsmhm

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

Baas, N. A., & Emmeche, C. (1997). On Emergence and Explanation. Intellectica. Revue de l’Association Pour La Recherche Cognitive, 25(2), 67–83. https://doi.org/10/ggdf9z

Baez, J. C., & Otter, N. (2015). Operads and Phylogenetic Trees.

Bartels, F., Sokolova, A., & de Vink, E. (2003). A hierarchy of probabilistic system types. Electronic Notes in Theoretical Computer Science, 82(1), 57–75. https://doi.org/10/d7kq38

Battaglia, P. W., Hamrick, J. B., Bapst, V., SanchezGonzalez, A., Zambaldi, V., Malinowski, M., … Pascanu, R. (2018). Relational inductive biases, deep learning, and graph networks. ArXiv:1806.01261 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1806.01261

Baudart, G., Mandel, L., Atkinson, E., Sherman, B., Pouzet, M., & Carbin, M. (2019). Reactive Probabilistic Programming. ArXiv:1908.07563 [Cs]. Retrieved from http://arxiv.org/abs/1908.07563

Baydin, A. G., Pearlmutter, B. A., Radul, A. A., & Siskind, J. M. (2018). Automatic differentiation in machine learning: a survey. ArXiv:1502.05767 [Cs, Stat]. Retrieved from http://arxiv.org/abs/1502.05767

Blute, R. F., Cockett, J. R. B., Lemay, J.S. P., & Seely, R. A. G. (2019). Differential Categories Revisited. Applied Categorical Structures. https://doi.org/10/ggdm44

Blute, R., Ehrhard, T., & Tasson, C. (2010). A convenient differential category. ArXiv:1006.3140 [Cs, Math]. Retrieved from http://arxiv.org/abs/1006.3140

Borchert, T. (2019). amzn/milan. Amazon. Retrieved from https://github.com/amzn/milan (Original work published 2019)

Borgström, J., Lago, U. D., Gordon, A. D., & Szymczak, M. (2017). A LambdaCalculus Foundation for Universal Probabilistic Programming. ArXiv:1512.08990 [Cs]. Retrieved from http://arxiv.org/abs/1512.08990

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

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

Brown, R., & Porter, T. (2008). Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience. ArXiv:Math/0306223. Retrieved from http://arxiv.org/abs/math/0306223

Brown, T. B., Mané, D., Roy, A., Abadi, M., & Gilmer, J. (2018). Adversarial Patch. ArXiv:1712.09665 [Cs]. Retrieved from http://arxiv.org/abs/1712.09665

Castellan, S., Clairambault, P., Paquet, H., & Winskel, G. (2018). The concurrent game semantics of Probabilistic PCF. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science  LICS ’18 (pp. 215–224). Oxford, United Kingdom: ACM Press. https://doi.org/10/ggdjfz

Cho, K., Jacobs, B., Westerbaan, B., & Westerbaan, A. (2015). An Introduction to Effectus Theory. ArXiv:1512.05813 [QuantPh]. Retrieved from http://arxiv.org/abs/1512.05813

Clerc, F., Danos, V., Dahlqvist, F., & Garnier, I. (2017). Pointless learning (long version). Retrieved from https://hal.archivesouvertes.fr/hal01429663

Culbertson, J., & Sturtz, K. (2013). Bayesian machine learning via category theory. ArXiv:1312.1445 [Math]. Retrieved from http://arxiv.org/abs/1312.1445
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)