From probability monads to commutative effectuses

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logical and algebraic methods in programming Jg. 94; S. 200 - 237
1. Verfasser: Jacobs, Bart
Format: Journal Article
Sprache:Englisch
Veröffentlicht: 01.01.2018
ISSN:2352-2208
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
ISSN:2352-2208
DOI:10.1016/j.jlamp.2016.11.006