Your search
CATEGORICAL LOGIC
PROGRAMMING LANGUAGES
Publication year
Results
12 resources-
Dal Lago, U., & Hoshino, N. (2019). The Geometry of Bayesian Programming (pp. 1–13). https://doi.org/10/ggdk85
-
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., & Danos, V. (2011). Probabilistic coherence spaces as a model of higher-order probabilistic computation. Information and Computation, 209(6), 966–991. https://doi.org/10/ctfch6
-
Ehrhard, T., Pagani, M., & Tasson, C. (2011). The Computational Meaning of Probabilistic Coherence Spaces. In 2011 IEEE 26th Annual Symposium on Logic in Computer Science (pp. 87–96). Toronto, ON, Canada: IEEE. https://doi.org/10/cpv52n
-
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
-
Ehrhard, T., Tasson, C., & Pagani, M. (2014). Probabilistic coherence spaces are fully abstract for probabilistic PCF. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL ’14 (pp. 309–320). San Diego, California, USA: ACM Press. https://doi.org/10/ggdf9x
-
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
-
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
-
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)
Explore
CATEGORICAL LOGIC
DIFFERENTIAL CALCULUS
- Differentiation (5)
MACHINE LEARNING
- Machine Learning (2)
MODEL CHECKING AND STATE MACHINES
- Rewriting theory (1)
- Transition systems (1)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (2)
Topic
- Bayesian inference (1)
- Categorical ML (2)
- Coherence spaces (4)
- Denotational semantics (7)
- Differential Linear Logic (4)
- Differentiation (5)
- Implementation (2)
- Linear logic (9)
- Machine learning (2)
- Probabilistic programming (6)
- Programming language theory (7)
- Rewriting theory (1)
- Semantics (4)
- Transition systems (1)
Resource type
- Computer Program (2)
- Conference Paper (4)
- Journal Article (6)