From probability monads to commutative effectuses

Uložené v:
Podrobná bibliografia
Vydané v:Journal of logical and algebraic methods in programming Ročník 94; s. 200 - 237
Hlavný autor: Jacobs, Bart
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: 01.01.2018
ISSN:2352-2208
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
ISSN:2352-2208
DOI:10.1016/j.jlamp.2016.11.006