Your search
Topic
Online resource
Results
13 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
-
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
-
Ehrhard, T., & Regnier, L. (2006). Differential interaction nets. Theoretical Computer Science, 364(2), 166–195. https://doi.org/10/bg5g4b
-
Ehrhard, T. (2016). An introduction to Differential Linear Logic: proof-nets, models and antiderivatives. ArXiv:1606.01642 [Cs]. Retrieved from http://arxiv.org/abs/1606.01642
-
Ehrhard, T. (2019). Differentials and distances in probabilistic coherence spaces. ArXiv:1902.04836 [Cs]. Retrieved from http://arxiv.org/abs/1902.04836
-
Ehrhard, T., & Regnier, L. (2003). The differential lambda-calculus. Theoretical Computer Science, 309(1), 1–41. https://doi.org/10/bf3b8v
-
Ehrhard, T., & Tasson, C. (2018). Probabilistic call by push value. ArXiv:1607.04690 [Cs]. https://doi.org/10/ggdk8z
-
Fiore, M., Gambino, N., Hyland, M., & Winskel, G. (2008). The cartesian closed bicategory of generalised species of structures. Journal of the London Mathematical Society, 77(1), 203–220. https://doi.org/10/bd2mr9
-
Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50(1), 1–101. https://doi.org/10/cmv5mj
-
Murfet, D. (2018). dmurfet/deeplinearlogic. Retrieved from https://github.com/dmurfet/deeplinearlogic (Original work published 2016)
-
Murfet, D. (2018). dmurfet/polysemantics. Retrieved from https://github.com/dmurfet/polysemantics (Original work published 2016)
-
Murfet, D., & Clift, J. (2019). Derivatives of Turing machines in Linear Logic. ArXiv:1805.11813 [Math]. Retrieved from http://arxiv.org/abs/1805.11813
Explore
CATEGORICAL LOGIC
- Linear logic (13)
DIFFERENTIAL CALCULUS
- Differentiation (8)
MACHINE LEARNING
- Machine Learning (3)
MODEL CHECKING AND STATE MACHINES
PROGRAMMING LANGUAGES
Methodology
- Implementation (2)
Topic
- Abstract machines (1)
- Categorical ML (3)
- Coherence spaces (1)
- Denotational semantics (5)
- Differential Linear Logic (6)
- Differentiation (8)
- Implementation (2)
- Interactive semantics (1)
- Linear logic
- Machine learning (3)
- Probabilistic programming (2)
- Programming language theory (3)
- Semantics (2)
- Type theory (1)
Resource type
- Computer Program (2)
- Journal Article (11)