Robustly Parameterised Higher-Order Probabilistic Models

From MaRDI portal

Revision as of 14:07, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4608675

Jump to:navigation, search

DOI10.4230/LIPIcs.CONCUR.2016.23zbMath1392.68222OpenAlexW2542140869MaRDI QIDQ4608675

Ilias Garnier, Fredrik Dahlqvist, Vincent Danos

Publication date: 21 March 2018

Full work available at URL: https://hal.archives-ouvertes.fr/hal-01429651

zbMATH Keywords

probabilistic models topological semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Stochastic processes (60G99) Probability theory on algebraic and topological structures (60B99) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Robustly Parameterised Higher-Order Probabilistic Models

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4608675&oldid=18776290"