Your search
PROGRAMMING LANGUAGES
Resource type
Results
8 resources
Dal Lago, U., & Hoshino, N. (2019). The Geometry of Bayesian Programming (pp. 1–13). https://doi.org/10/ggdk85

Kerjean, M., & Pacaud Lemay, J.S. (2019). HigherOrder 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

Castellan, S., Clairambault, P., Paquet, H., & Winskel, G. (2018). The concurrent game semantics of Probabilistic PCF. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science  LICS ’18 (pp. 215–224). Oxford, United Kingdom: ACM Press. https://doi.org/10/ggdjfz

Ehrhard, T., Tasson, C., & Pagani, M. (2014). Probabilistic coherence spaces are fully abstract for probabilistic PCF. In Proceedings of the 41st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages  POPL ’14 (pp. 309–320). San Diego, California, USA: ACM Press. https://doi.org/10/ggdf9x

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

Danos, V., & Harmer, R. (2000). Probabilistic game semantics (Vol. 3, pp. 204–213). Presented at the ACM Transactions on Computational Logic  TOCL. https://doi.org/10/b6k43s

de Vink, E. P., & Rutten, J. J. M. M. (1997). Bisimulation for probabilistic transition systems: A coalgebraic approach. In P. Degano, R. Gorrieri, & A. MarchettiSpaccamela (Eds.), Automata, Languages and Programming (pp. 460–470). Berlin, Heidelberg: Springer. https://doi.org/10/fcqzmk

Jones, C., & Plotkin, G. (1989). A Probabilistic Powerdomain of Evaluations. In Proceedings of the Fourth Annual Symposium on Logic in Computer Science (pp. 186–195). Piscataway, NJ, USA: IEEE Press. Retrieved from http://dl.acm.org/citation.cfm?id=77350.77370
Explore
CATEGORICAL LOGIC
 Linear logic (4)
DIFFERENTIAL CALCULUS
 Differentiation (1)
MODEL CHECKING AND STATE MACHINES
 Coalgebras (1)
 Rewriting theory (1)
 Transition systems (2)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Topic
 Bayesian inference (1)
 Categorical probability theory (1)
 Coalgebras (1)
 Coherence spaces (2)
 Denotational semantics (7)
 Differential Linear Logic (1)
 Differentiation (1)
 Game semantics (2)
 Interactive semantics (2)
 Linear logic (2)
 Powerdomains (1)
 Probabilistic programming (6)
 Probabilistic transition systems (1)
 Programming language theory (6)
 Rewriting theory (1)
 Semantics (1)
 Transition systems (2)