Your search
PROGRAMMING LANGUAGES
Topic
Results
13 resources-
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 lambda-calculus. Theoretical Computer Science, 309(1), 1–41. https://doi.org/10/bf3b8v
-
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
-
Ehrhard, T., & Tasson, C. (2018). Probabilistic call by push value. ArXiv:1607.04690 [Cs]. https://doi.org/10/ggdk8z
-
Girard, J.-Y. (1995). On Geometry of Interaction. In H. Schwichtenberg (Ed.), Proof and Computation (pp. 145–191). Berlin, Heidelberg: Springer. https://doi.org/10/fr557p
-
Murfet, D., & Hu, H. (n.d.). Linear logic and deep learning.
-
Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50(1), 1–101. https://doi.org/10/cmv5mj
-
Kerjean, M., & Pacaud Lemay, J.-S. (2019). Higher-Order Distributions for Differential Linear Logic. In M. Bojańczyk & A. Simpson (Eds.), Foundations of Software Science and Computation Structures (pp. 330–347). Cham: Springer International Publishing. https://doi.org/10/ggdmrj
-
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
-
Murfet, D. (2018). dmurfet/polysemantics. Retrieved from https://github.com/dmurfet/polysemantics (Original work published 2016)
-
Murfet, D. (2018). dmurfet/deeplinearlogic. Retrieved from https://github.com/dmurfet/deeplinearlogic (Original work published 2016)
-
Ehrhard, T. (2019). Differentials and distances in probabilistic coherence spaces. ArXiv:1902.04836 [Cs]. Retrieved from http://arxiv.org/abs/1902.04836
-
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
Explore
CATEGORICAL LOGIC
- Linear logic (13)
DIFFERENTIAL CALCULUS
- Differentiation (5)
MACHINE LEARNING
- Machine Learning (3)
MODEL CHECKING AND STATE MACHINES
- Rewriting theory (1)
- Transition systems (1)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (2)
Topic
- Bayesian inference (1)
- Categorical ML (3)
- Coherence spaces (1)
- Denotational semantics (7)
- Differential Linear Logic (4)
- Differentiation (5)
- Implementation (2)
- Interactive semantics (2)
- Linear logic
- Machine learning (3)
- Probabilistic programming (3)
- Programming language theory (4)
- Rewriting theory (1)
- Semantics (3)
- Transition systems (1)
- Type theory (1)
Resource type
- Computer Program (2)
- Conference Paper (3)
- Journal Article (7)
- Presentation (1)
Publication year
- Between 1900 and 1999 (2)
- Between 2000 and 2022 (10)
- Unknown (1)