Your search
PROGRAMMING LANGUAGES
Topic
Resource type
Results
14 resources-
Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50(1), 1–101. https://doi.org/10/cmv5mj
-
Jones, C. (1989). Probabilistic Non-determinism, 198.
-
Desharnais, J., Edalat, A., & Panangaden, P. (2002). Bisimulation for Labelled Markov Processes. Information and Computation, 179(2), 163–193. https://doi.org/10/fmp9vd
-
van Breugel, F., Mislove, M., Ouaknine, J., & Worrell, J. (2005). Domain theory, testing and simulation for labelled Markov processes. Theoretical Computer Science, 333(1), 171–197. https://doi.org/10/ft9vc5
-
Varacca, D., & Winskel, G. (2006). Distributing probability over non-determinism. Mathematical Structures in Computer Science, 16(01), 87. https://doi.org/10/czs9sx
-
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
-
Tix, R., Keimel, K., & Plotkin, G. (2009). Semantic Domains for Combining Probability and Non-Determinism. Electronic Notes in Theoretical Computer Science, 222, 3–99. https://doi.org/10/d9hwq7
-
Keimel, K., & Plotkin, G. d. (2009). Predicate Transformers for Extended Probability and Non-determinism. Mathematical. Structures in Comp. Sci., 19(3), 501–539. https://doi.org/10/bkvgqc
-
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
-
Keimel, K., & Plotkin, G. D. (2017). Mixed powerdomains for probability and nondeterminism. ArXiv:1612.01005 [Cs]. https://doi.org/10/ggdmrp
-
Ehrhard, T., Pagani, M., & Tasson, C. (2017). Measurable Cones and Stable, Measurable Functions. Proceedings of the ACM on Programming Languages, 2(POPL), 1–28. https://doi.org/10/ggdjf8
-
Ehrhard, T., & Tasson, C. (2018). Probabilistic call by push value. ArXiv:1607.04690 [Cs]. https://doi.org/10/ggdk8z
-
Ehrhard, T. (2019). Differentials and distances in probabilistic coherence spaces. ArXiv:1902.04836 [Cs]. Retrieved from http://arxiv.org/abs/1902.04836
-
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
Explore
CATEGORICAL LOGIC
- Linear logic (5)
DIFFERENTIAL CALCULUS
- Differentiation (3)
MODEL CHECKING AND STATE MACHINES
- Coalgebras (2)
- Symbolic logic (1)
- Transition systems (2)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (1)
Topic
- Bayesian inference (1)
- Categorical probability theory (1)
- Coalgebras (2)
- Coherence spaces (1)
- Denotational semantics
- Differential Linear Logic (3)
- Differentiation (3)
- Implementation (1)
- Linear logic (5)
- Powerdomains (3)
- Probabilistic programming (7)
- Probabilistic transition systems (2)
- Programming language theory (9)
- Symbolic logic (1)
- Transition systems (2)
- Type theory (1)