Your search
PROGRAMMING LANGUAGES
Publication year
Online resource
Results
8 resources-
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
-
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
-
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
-
Fages, F., Calzone, L., & Soliman, S. (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22(14), 1805–1807. https://doi.org/10/dfv
-
Varacca, D., & Winskel, G. (2006). Distributing probability over non-determinism. Mathematical Structures in Computer Science, 16(01), 87. https://doi.org/10/czs9sx
-
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
-
Ehrhard, T., & Regnier, L. (2003). The differential lambda-calculus. Theoretical Computer Science, 309(1), 1–41. https://doi.org/10/bf3b8v
-
Desharnais, J., Edalat, A., & Panangaden, P. (2002). Bisimulation for Labelled Markov Processes. Information and Computation, 179(2), 163–193. https://doi.org/10/fmp9vd
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Biology (1)
CATEGORICAL LOGIC
- Linear logic (2)
DIFFERENTIAL CALCULUS
- Differentiation (2)
MODEL CHECKING AND STATE MACHINES
- Coalgebras (2)
- Rewriting theory (1)
- Symbolic logic (2)
- Transition systems (3)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (1)
Topic
- Abstract machines (1)
- Biology (1)
- Categorical probability theory (1)
- Coalgebras (2)
- Denotational semantics (6)
- Differential Linear Logic (1)
- Differentiation (2)
- Implementation (1)
- Linear logic (2)
- Powerdomains (2)
- Probabilistic programming (1)
- Probabilistic transition systems (2)
- Programming language theory (4)
- Rewriting theory (1)
- Symbolic logic (2)
- Systems biology (1)
- Transition systems (2)
Resource type
- Journal Article (8)