Your search
Publication year
Results
13 resources-
de Vink, E. P., & Rutten, J. J. M. M. (1997). Bisimulation for probabilistic transition systems: A coalgebraic approach. In P. Degano, R. Gorrieri, & A. Marchetti-Spaccamela (Eds.), Automata, Languages and Programming (pp. 460–470). Berlin, Heidelberg: Springer. https://doi.org/10/fcqzmk
-
Baas, N. A., & Emmeche, C. (1997). On Emergence and Explanation. Intellectica. Revue de l’Association Pour La Recherche Cognitive, 25(2), 67–83. https://doi.org/10/ggdf9z
-
Heckerman, D. (1995). A Tutorial on Learning With Bayesian Networks. Retrieved from https://www.microsoft.com/en-us/research/publication/a-tutorial-on-learning-with-bayesian-networks/
-
Siegelmann, H. T., & Sontag, E. D. (1995). On the Computational Power of Neural Nets. Journal of Computer and System Sciences, 50(1), 132–150. https://doi.org/10/dvwtc3
-
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
-
Engeler, E. (1995). The Combinatory Programme. Birkhäuser Basel. https://doi.org/10.1007/978-1-4612-4268-0
-
Lawvere, F. W. (1994). Tools for the Advancement of Objective Logic: Closed Categories and Toposes. In J. Macnamara & G. E. Reyes (Eds.), The Logical Foundations of Cognition (pp. 43–56). Oxford University Press USA.
-
Jones, C. (1989). Probabilistic Non-determinism, 198.
-
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
-
Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50(1), 1–101. https://doi.org/10/cmv5mj
-
Giry, M. (1982). A categorical approach to probability theory. In B. Banaschewski (Ed.), Categorical Aspects of Topology and Analysis (pp. 68–85). Berlin, Heidelberg: Springer. https://doi.org/10/dtx5t5
-
Plotkin, G. D. (1977). LCF considered as a programming language. Theoretical Computer Science, 5(3), 223–255. https://doi.org/10/dc7fdn
-
Rosen, R. (1958). The representation of biological systems from the standpoint of the theory of categories. The Bulletin of Mathematical Biophysics, 20(4), 317–341. https://doi.org/10/fdgzxz
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Biology (3)
- Psychology (1)
CATEGORICAL LOGIC
- Linear logic (2)
MACHINE LEARNING
- Machine Learning (3)
MODEL CHECKING AND STATE MACHINES
- Coalgebras (1)
- Transition systems (1)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Compendium (1)
- Sketchy (2)
Topic
- Algebra (1)
- Bayesianism (1)
- Biology (2)
- Categorical probability theory (2)
- Classical ML (2)
- Coalgebras (1)
- Compendium (1)
- Denotational semantics (4)
- Emergence (2)
- Interactive semantics (1)
- Linear logic (2)
- Machine learning (2)
- Powerdomains (1)
- Probabilistic programming (3)
- Probabilistic transition systems (1)
- Programming language theory (4)
- Psychology (1)
- Purely theoretical (1)
- Sketchy (2)
- Transition systems (1)
- Type theory (1)
Resource type
- Book (1)
- Book Section (1)
- Conference Paper (4)
- Journal Article (7)