Changes

Jump to navigation Jump to search
Created page with "* [https://www.springer.com/la/book/9783030007034 Temporal Type Theory] * [http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf Seven Sketches] * [http://www.mit.edu/~eada..."
* [https://www.springer.com/la/book/9783030007034 Temporal Type Theory]
* [http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf Seven Sketches]
* [http://www.mit.edu/~eadam/eadam_PhDThesis.pdf Systems, Generativity and Interactional Effects]
* [https://arxiv.org/pdf/1711.10455.pdf Backprop as functor]
* [https://dl.acm.org/doi/10.1145/3209108.3209165 Compositional Game Theory]
* [https://dl.acm.org/doi/10.1145/3236765 The simple essence of automatic differentiation]
* [http://www.cs.ox.ac.uk/people/bob.coecke/AlexisMSc.pdf Categorical compositional Distributional questions]
* [https://reader.elsevier.com/reader/sd/pii/S1571066119301252?token=5D90AB1EF4D3D0EA9633F3AA1AC0D890DAA56FCADC3D2CFAFB440893659609ECE28216CF9BF472014A10387E81124042 Neural Nets viaForward State Transformation andBackward Loss Transformation]
* [http://www.cs.ox.ac.uk/ACT2019/preproceedings/Bruno%20Gavranovic.pdf Learning Functors using Gradient Descent]
* [https://arxiv.org/abs/1905.02072 Characterizing the invariances of learning algorithms using category theory]
* [https://ora.ox.ac.uk/objects/uuid:3b555c2a-6067-422c-9f1b-b1a5af8053ff/download_file?file_format=pdf&safe_filename=Main.pdf&type_of_work=Thesis Generalized relations for compositonal models of meaning]
* [https://ora.ox.ac.uk/objects/uuid:3b555c2a-6067-422c-9f1b-b1a5af8053ff/download_file?file_format=pdf&safe_filename=Main.pdf&type_of_work=Thesis Compositional models for complex systems]
* [http://www.cs.ox.ac.uk/people/bob.coecke/Vincent.pdf Graphical grammar and graphical completion of monoidal categories]
* [http://math.ucr.edu/home/baez/rosetta.pdf Physics topology logic and computation: a Rosetta stone]

Navigation menu