From probability monads to commutative effectuses
Saved in:
| Published in | Journal of logical and algebraic methods in programming Vol. 94; pp. 200 - 237 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
01.01.2018
|
| Online Access | Get full text |
Cover
Loading…
| Author | Jacobs, Bart |
|---|---|
| Author_xml | – sequence: 1 givenname: Bart surname: Jacobs fullname: Jacobs, Bart |
| BookMark | eNp9z71qwzAQwHENKTRN8wRd_AJ2Tx-W7bGEpi0EsmQXJ-cENrZlJKWQt6_TdurQ6TiO_8Hvga0mPxFjTxwKDlw_90U_4DgXYlkKzgsAvWJrIUuRCwH1PdvG2AMs17qqJV8zvg9-zObgLdpu6NI1G_2E55gln7V-HC8JU_dJGTlHbbpEio_szuEQafs7N-y0fz3t3vPD8e1j93LIW9GolHMLqqZSckEE4BQqqlVT2fIsFGlpK9IltagdkKw0ktIobWMRkGPltNww-fO2DT7GQM7MoRsxXA0Hc7Oa3nxbzc1qODeLdamaP1Xb3QR-SgG74d_2C0WsYM4 |
| CitedBy_id | crossref_primary_10_1017_S0960129518000488 crossref_primary_10_4204_EPTCS_397_11 crossref_primary_10_1007_s10485_023_09750_z crossref_primary_10_4204_EPTCS_287_13 crossref_primary_10_4204_EPTCS_323_7 crossref_primary_10_1017_S0960129519000082 crossref_primary_10_1145_3704890 crossref_primary_10_1016_j_laa_2022_02_030 crossref_primary_10_1145_3632903 crossref_primary_10_1016_j_entcs_2020_09_007 crossref_primary_10_1145_3434286 crossref_primary_10_1016_j_entcs_2019_09_009 crossref_primary_10_1016_j_entcs_2019_09_008 |
| Cites_doi | 10.7146/math.scand.a-10995 10.1016/0168-0072(94)90020-5 10.2168/LMCS-11(3:24)2015 10.1007/s10485-013-9324-9 10.1016/j.topol.2008.07.002 10.1017/S0960129500000232 10.1016/0304-3975(95)00050-7 10.1007/s10701-012-9654-8 10.2168/LMCS-11(2:5)2015 10.1016/j.ic.2016.02.009 10.1088/1367-2630/13/11/113036 10.1007/BF01222782 10.1112/S0024610700008681 10.1016/0021-8693(80)90212-4 10.1016/j.tcs.2011.04.005 10.1007/BF02283036 10.1007/BF01220868 10.1007/s10469-009-9065-x 10.1063/1.526000 10.2168/LMCS-9(3:11)2013 10.7146/math.scand.a-11042 10.1016/0022-0000(81)90036-2 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jlamp.2016.11.006 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 237 |
| ExternalDocumentID | 10_1016_j_jlamp_2016_11_006 |
| GroupedDBID | --M 0R~ 4.4 457 4G. 7-5 8P~ AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AATTM AAXKI AAXUO AAYFN AAYWO AAYXX ABBOA ABJNI ABMAC ABXDB ACDAQ ACGFS ACRLP ACVFH ADBBV ADCNI ADEZE ADVLN AEBSH AEIPS AEKER AENEX AEUPX AFJKZ AFPUW AFTJW AFXIZ AGCQF AGHFR AGRNS AGUBO AIALX AIEXJ AIGII AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD AXJTR BKOJK BLXMC BNPGV CITATION EBS EFJIC EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 O9- OAUVE RIG ROL SPC SPCBC SSH SSV SSZ T5K ~G- |
| ID | FETCH-LOGICAL-c294t-1b048e5312ee00f4a4e8497b5d24e63b7e65eca6f0e376ae46a3b9ba0a1a7f63 |
| ISSN | 2352-2208 |
| IngestDate | Tue Jul 01 00:37:50 EDT 2025 Thu Apr 24 22:52:30 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c294t-1b048e5312ee00f4a4e8497b5d24e63b7e65eca6f0e376ae46a3b9ba0a1a7f63 |
| OpenAccessLink | http://hdl.handle.net/2066/182000 |
| PageCount | 38 |
| ParticipantIDs | crossref_primary_10_1016_j_jlamp_2016_11_006 crossref_citationtrail_10_1016_j_jlamp_2016_11_006 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2018-01-00 |
| PublicationDateYYYYMMDD | 2018-01-01 |
| PublicationDate_xml | – month: 01 year: 2018 text: 2018-01-00 |
| PublicationDecade | 2010 |
| PublicationTitle | Journal of logical and algebraic methods in programming |
| PublicationYear | 2018 |
| References | Dvurečenskij (10.1016/j.jlamp.2016.11.006_br0160) 2000 Keimel (10.1016/j.jlamp.2016.11.006_br0460) 2008; 156 Klin (10.1016/j.jlamp.2016.11.006_br0480) 2009; vol. 5700 Jacobs (10.1016/j.jlamp.2016.11.006_br0250) 1994; 69 Kock (10.1016/j.jlamp.2016.11.006_br0490) 1970; XXI Trnková (10.1016/j.jlamp.2016.11.006_br0630) 1969; 10 Jacobs (10.1016/j.jlamp.2016.11.006_br0290) 2013 Jacobs (10.1016/j.jlamp.2016.11.006_br0320) 2015; vol. 35 Adams (10.1016/j.jlamp.2016.11.006_br0030) Jacobs (10.1016/j.jlamp.2016.11.006_br0330) 2016; vol. 9608 Cho (10.1016/j.jlamp.2016.11.006_br0090) 2015; vol. 195 Rudin (10.1016/j.jlamp.2016.11.006_br0600) 1987 Abramsky (10.1016/j.jlamp.2016.11.006_br0010) 2011; 13 Culbertson (10.1016/j.jlamp.2016.11.006_br0140) 2014; 22 Avery (10.1016/j.jlamp.2016.11.006_br0060) 2016; 220 Fong (10.1016/j.jlamp.2016.11.006_br0190) 2012 Jacobs (10.1016/j.jlamp.2016.11.006_br0400) 2015; vol. 319 Jacobs (10.1016/j.jlamp.2016.11.006_br0360) 2016; vol. 59 Furber (10.1016/j.jlamp.2016.11.006_br0210) 2013; vol. 8089 Coecke (10.1016/j.jlamp.2016.11.006_br0120) 2014 Jacobs (10.1016/j.jlamp.2016.11.006_br0280) 2011; 412 Kock (10.1016/j.jlamp.2016.11.006_br0520) 2012; 26 Borgström (10.1016/j.jlamp.2016.11.006_br0070) 2013; 9 Staton (10.1016/j.jlamp.2016.11.006_br0610) 2016 Jacobs (10.1016/j.jlamp.2016.11.006_br0420) 2016; vol. 325 Jacobs (10.1016/j.jlamp.2016.11.006_br0300) 2015; 11 Tix (10.1016/j.jlamp.2016.11.006_br0620) 2005; vol. 129 van Breugel (10.1016/j.jlamp.2016.11.006_br0080) Jacobs (10.1016/j.jlamp.2016.11.006_br0370) 2012; 42 Furber (10.1016/j.jlamp.2016.11.006_br0220) 2015; 11 Dijkstra (10.1016/j.jlamp.2016.11.006_br0150) 1990 Keimel (10.1016/j.jlamp.2016.11.006_br0470) 2009; 48 Cho (10.1016/j.jlamp.2016.11.006_br0100) Kock (10.1016/j.jlamp.2016.11.006_br0500) 1970; 27 Jacobs (10.1016/j.jlamp.2016.11.006_br0270) 2010; vol. 264 Jacobs (10.1016/j.jlamp.2016.11.006_br0390) 2016 Jones (10.1016/j.jlamp.2016.11.006_br0430) 1989 Kozen (10.1016/j.jlamp.2016.11.006_br0530) 1981; 22 Edalat (10.1016/j.jlamp.2016.11.006_br0170) 1995; 151 Jacobs (10.1016/j.jlamp.2016.11.006_br0340) 2016; vol. 325 Leinster (10.1016/j.jlamp.2016.11.006_br0540) 2013; 28 Westerbaan (10.1016/j.jlamp.2016.11.006_br0640) 2016 Manes (10.1016/j.jlamp.2016.11.006_br0560) 1986 Edgar (10.1016/j.jlamp.2016.11.006_br0180) 1998 Jacobs (10.1016/j.jlamp.2016.11.006_br0380) 2012; vol. 95 Cockett (10.1016/j.jlamp.2016.11.006_br0110) 1993; 3 Kock (10.1016/j.jlamp.2016.11.006_br0510) 1971; 29 Coumans (10.1016/j.jlamp.2016.11.006_br0130) 2013 Jacobs (10.1016/j.jlamp.2016.11.006_br0350) Foulis (10.1016/j.jlamp.2016.11.006_br0200) 1994; 24 Lindner (10.1016/j.jlamp.2016.11.006_br0550) 1979; XXXIII Furber (10.1016/j.jlamp.2016.11.006_br0230) 2015; vol. 195 10.1016/j.jlamp.2016.11.006_br0310 Jacobs (10.1016/j.jlamp.2016.11.006_br0260) 2010; vol. 82(1) Panangaden (10.1016/j.jlamp.2016.11.006_br0590) 2009 Adámek (10.1016/j.jlamp.2016.11.006_br0020) 2008; 21 Alvarez-Manilla (10.1016/j.jlamp.2016.11.006_br0040) 2000; 61 Jung (10.1016/j.jlamp.2016.11.006_br0450) 1998; vol. 13 Jacobs (10.1016/j.jlamp.2016.11.006_br0410) 2015; vol. 9034 Jones (10.1016/j.jlamp.2016.11.006_br0440) 1989 Giry (10.1016/j.jlamp.2016.11.006_br0240) 1982; vol. 915 Mislove (10.1016/j.jlamp.2016.11.006_br0570) 2012; vol. 88 Ozawa (10.1016/j.jlamp.2016.11.006_br0580) 1984; 25 Arbib (10.1016/j.jlamp.2016.11.006_br0050) 1980; 62 |
| References_xml | – volume: 26 start-page: 97 issue: 4 year: 2012 ident: 10.1016/j.jlamp.2016.11.006_br0520 article-title: Commutative monads as a theory of distributions publication-title: Theory Appl. Categ. – volume: 27 start-page: 151 year: 1970 ident: 10.1016/j.jlamp.2016.11.006_br0500 article-title: On double dualization monads publication-title: Math. Scand. doi: 10.7146/math.scand.a-10995 – volume: 69 start-page: 73 issue: 1 year: 1994 ident: 10.1016/j.jlamp.2016.11.006_br0250 article-title: Semantics of weakening and contraction publication-title: Ann. Pure Appl. Log. doi: 10.1016/0168-0072(94)90020-5 – start-page: 186 year: 1989 ident: 10.1016/j.jlamp.2016.11.006_br0440 article-title: A probabilistic powerdomain of evaluations – start-page: 1 year: 2014 ident: 10.1016/j.jlamp.2016.11.006_br0120 article-title: Categories of quantum and classical channels publication-title: Quantum Inf. Process. – year: 1998 ident: 10.1016/j.jlamp.2016.11.006_br0180 – volume: vol. 129 year: 2005 ident: 10.1016/j.jlamp.2016.11.006_br0620 article-title: Semantic Domains for Combining Probability and Non-Determinism – volume: 11 start-page: 1 issue: 3 year: 2015 ident: 10.1016/j.jlamp.2016.11.006_br0300 article-title: New directions in categorical logic, for classical, probabilistic and quantum logic publication-title: Log. Methods Comput. Sci. doi: 10.2168/LMCS-11(3:24)2015 – volume: 22 start-page: 647 issue: 4 year: 2014 ident: 10.1016/j.jlamp.2016.11.006_br0140 article-title: A categorical foundation for bayesian probability publication-title: Appl. Categ. Struct. doi: 10.1007/s10485-013-9324-9 – volume: vol. 195 start-page: 116 year: 2015 ident: 10.1016/j.jlamp.2016.11.006_br0090 article-title: Total and partial computation in categorical quantum foundations – ident: 10.1016/j.jlamp.2016.11.006_br0310 – year: 2016 ident: 10.1016/j.jlamp.2016.11.006_br0640 article-title: Paschke dilations – volume: vol. 95 start-page: 143 year: 2012 ident: 10.1016/j.jlamp.2016.11.006_br0380 article-title: The expectation monad in quantum foundations – volume: 156 start-page: 227 year: 2008 ident: 10.1016/j.jlamp.2016.11.006_br0460 article-title: The monad of probability measures over compact ordered spaces and its Eilenberg–Moore algebras publication-title: Topol. Appl. doi: 10.1016/j.topol.2008.07.002 – volume: vol. 9608 start-page: 53 year: 2016 ident: 10.1016/j.jlamp.2016.11.006_br0330 article-title: Affine monads and side-effect-freeness – volume: vol. 8089 start-page: 141 year: 2013 ident: 10.1016/j.jlamp.2016.11.006_br0210 article-title: From Kleisli categories to commutative C⁎-algebras: probabilistic Gelfand duality – volume: 10 start-page: 323 year: 1969 ident: 10.1016/j.jlamp.2016.11.006_br0630 article-title: Some properties of set functors publication-title: Comment. Math. Univ. Carol. – volume: 3 start-page: 277 year: 1993 ident: 10.1016/j.jlamp.2016.11.006_br0110 article-title: Introduction to distributive categories publication-title: Math. Struct. Comput. Sci. doi: 10.1017/S0960129500000232 – year: 2009 ident: 10.1016/j.jlamp.2016.11.006_br0590 – volume: 151 start-page: 163 year: 1995 ident: 10.1016/j.jlamp.2016.11.006_br0170 article-title: Domain theory and integration publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(95)00050-7 – volume: 42 start-page: 932 issue: 7 year: 2012 ident: 10.1016/j.jlamp.2016.11.006_br0370 article-title: Coreflections in algebraic quantum logic publication-title: Found. Phys. doi: 10.1007/s10701-012-9654-8 – volume: vol. 319 start-page: 239 year: 2015 ident: 10.1016/j.jlamp.2016.11.006_br0400 article-title: An effect-theoretic account of Lebesgue integration – volume: vol. 264 start-page: 125 year: 2010 ident: 10.1016/j.jlamp.2016.11.006_br0270 article-title: From coalgebraic to monoidal traces – volume: vol. 195 start-page: 179 year: 2015 ident: 10.1016/j.jlamp.2016.11.006_br0230 article-title: Towards a categorical account of conditional probability – volume: vol. 13 start-page: 70 year: 1998 ident: 10.1016/j.jlamp.2016.11.006_br0450 article-title: The troublesome probabilistic powerdomain – volume: 11 start-page: 1 issue: 2 year: 2015 ident: 10.1016/j.jlamp.2016.11.006_br0220 article-title: From Kleisli categories to commutative C⁎-algebras: probabilistic Gelfand duality publication-title: Log. Methods Comput. Sci. doi: 10.2168/LMCS-11(2:5)2015 – volume: vol. 325 start-page: 169 year: 2016 ident: 10.1016/j.jlamp.2016.11.006_br0340 article-title: Effectuses from monads – year: 2016 ident: 10.1016/j.jlamp.2016.11.006_br0390 article-title: The expectation monad in quantum foundations publication-title: Inf. Comput. doi: 10.1016/j.ic.2016.02.009 – year: 1986 ident: 10.1016/j.jlamp.2016.11.006_br0560 article-title: Algebraic Appoaches to Program Semantics – year: 1987 ident: 10.1016/j.jlamp.2016.11.006_br0600 – year: 1989 ident: 10.1016/j.jlamp.2016.11.006_br0430 – volume: 13 start-page: 113036 year: 2011 ident: 10.1016/j.jlamp.2016.11.006_br0010 article-title: The sheaf-theoretic structure of non-locality and contextuality publication-title: New J. Phys. doi: 10.1088/1367-2630/13/11/113036 – year: 2012 ident: 10.1016/j.jlamp.2016.11.006_br0190 – volume: vol. 915 start-page: 68 year: 1982 ident: 10.1016/j.jlamp.2016.11.006_br0240 article-title: A categorical approach to probability theory – volume: 21 start-page: 191 issue: 11 year: 2008 ident: 10.1016/j.jlamp.2016.11.006_br0020 article-title: Analytic functors and weak pullbacks publication-title: Theory Appl. Categ. – volume: vol. 35 start-page: 116 year: 2015 ident: 10.1016/j.jlamp.2016.11.006_br0320 article-title: A recipe for state and effect triangles – ident: 10.1016/j.jlamp.2016.11.006_br0080 – year: 1990 ident: 10.1016/j.jlamp.2016.11.006_br0150 – volume: vol. 59 year: 2016 ident: 10.1016/j.jlamp.2016.11.006_br0360 article-title: Introduction to Coalgebra. Towards Mathematics of States and Observations – start-page: 184 year: 2013 ident: 10.1016/j.jlamp.2016.11.006_br0130 article-title: Scalars, monads and categories – volume: XXXIII start-page: 437 year: 1979 ident: 10.1016/j.jlamp.2016.11.006_br0550 article-title: Affine parts of monads publication-title: Arch. Math. doi: 10.1007/BF01222782 – volume: 61 start-page: 629 issue: 02 year: 2000 ident: 10.1016/j.jlamp.2016.11.006_br0040 article-title: An extension result for continuous valuations publication-title: J. Lond. Math. Soc. doi: 10.1112/S0024610700008681 – volume: 62 start-page: 203 issue: 1 year: 1980 ident: 10.1016/j.jlamp.2016.11.006_br0050 article-title: Partially additive categories and flow-diagram semantics publication-title: J. Algebra doi: 10.1016/0021-8693(80)90212-4 – volume: 412 start-page: 3323 issue: 28 year: 2011 ident: 10.1016/j.jlamp.2016.11.006_br0280 article-title: Probabilities, distribution monads, and convex categories publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2011.04.005 – volume: 220 start-page: 1229 year: 2016 ident: 10.1016/j.jlamp.2016.11.006_br0060 article-title: Codensity and the Giry monad publication-title: Ann. Pure Appl. Log. – ident: 10.1016/j.jlamp.2016.11.006_br0350 – year: 2000 ident: 10.1016/j.jlamp.2016.11.006_br0160 – volume: vol. 5700 start-page: 121 year: 2009 ident: 10.1016/j.jlamp.2016.11.006_br0480 article-title: Structural operational semantics for weighted transition systems – volume: vol. 325 start-page: 185 year: 2016 ident: 10.1016/j.jlamp.2016.11.006_br0420 article-title: A predicate/state transformer semantics for Bayesian learning – volume: 28 start-page: 332 issue: 13 year: 2013 ident: 10.1016/j.jlamp.2016.11.006_br0540 article-title: Codensity and the ultrafilter monad publication-title: Theory Appl. Categ. – volume: 24 start-page: 1331 issue: 10 year: 1994 ident: 10.1016/j.jlamp.2016.11.006_br0200 article-title: Effect algebras and unsharp quantum logics publication-title: Found. Phys. doi: 10.1007/BF02283036 – volume: XXI start-page: 1 year: 1970 ident: 10.1016/j.jlamp.2016.11.006_br0490 article-title: Monads on symmetric monoidal closed categories publication-title: Arch. Math. doi: 10.1007/BF01220868 – volume: vol. 88 start-page: 87 year: 2012 ident: 10.1016/j.jlamp.2016.11.006_br0570 article-title: Probabilistic monads, domains and classical information – volume: 48 start-page: 330 issue: 5 year: 2009 ident: 10.1016/j.jlamp.2016.11.006_br0470 article-title: Abstract ordered compact convex sets and algebras of the (sub)probabilistic power domain monad over ordered compact spaces publication-title: Algebra Log. doi: 10.1007/s10469-009-9065-x – volume: 25 start-page: 79 year: 1984 ident: 10.1016/j.jlamp.2016.11.006_br0580 article-title: Quantum measuring processes of continuous observables publication-title: J. Math. Phys. doi: 10.1063/1.526000 – ident: 10.1016/j.jlamp.2016.11.006_br0030 – volume: vol. 9034 start-page: 87 year: 2015 ident: 10.1016/j.jlamp.2016.11.006_br0410 article-title: States of convex sets – volume: 9 start-page: 1 issue: 3 year: 2013 ident: 10.1016/j.jlamp.2016.11.006_br0070 article-title: Measure transformer semantics for Bayesian machine learning publication-title: Log. Methods Comput. Sci. doi: 10.2168/LMCS-9(3:11)2013 – ident: 10.1016/j.jlamp.2016.11.006_br0100 – volume: 29 start-page: 161 year: 1971 ident: 10.1016/j.jlamp.2016.11.006_br0510 article-title: Bilinearity and cartesian closed monads publication-title: Math. Scand. doi: 10.7146/math.scand.a-11042 – year: 2016 ident: 10.1016/j.jlamp.2016.11.006_br0610 article-title: Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints publication-title: Log. Comput. Sci. – volume: vol. 82(1) start-page: 1 year: 2010 ident: 10.1016/j.jlamp.2016.11.006_br0260 article-title: Convexity, duality, and effects – year: 2013 ident: 10.1016/j.jlamp.2016.11.006_br0290 article-title: Measurable spaces and their effect logic – volume: 22 start-page: 328 issue: 3 year: 1981 ident: 10.1016/j.jlamp.2016.11.006_br0530 article-title: Semantics of probabilistic programs publication-title: J. Comput. Syst. Sci. doi: 10.1016/0022-0000(81)90036-2 |
| SSID | ssj0001687831 |
| Score | 2.332438 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 200 |
| Title | From probability monads to commutative effectuses |
| Volume | 94 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NS8MwFA-yXbz4Lc4vevCmHWmWpu1xiGMq7DRht5KkqTjmJq476F_vS9J2wY3hvIRS0rTJL315eXnv9xC6UZKGGZfCxzkTPs156AuFI5_IgFMRBrwjjJfvgPVf6NMoHC0z6pnokkK05ffauJL_oAr3AFcdJbsFsnWjcAOuAV8oAWEo_4RxT8eG6JQwlmz76xbezDPD2SB14EdhWb2tz8ZiXroLrqqilfwzxK2TV32W_CbL5NLWz9x6cb1X65wNzp-JeXlkUbjGgyB2jAdGxhDQv3xCcOwKxIS6Eg1jZ3EklqFlRe5aE8C4PYZprFlAA9bW3Kh4Dcv1r9Wn9gms3M3GqWkk1Y3A_iQ1hOpNArsA0kDN7uNzf7A0orE4ik3OybojFbOU8eFb-RxH-3DUiOEB2isH3etaMA_Rjpoeof0qt4ZXitpjFGhsPQdbz2LrFTPPwdZbYnuChr2H4X3fL9Nb-JIktPADAdJTgQwkSmGcU05VTJNIhBmhinVEpFioJGc5VrAKcEUZ_DiJ4JgHPMpZ5xQ1prOpOkNeLFQgCKgdPNMKpozjXB9YKyyzUJIsbCFS9TqVJfW7zkAySTcMegvd1Q99WOaTTdXPt6t-gXaX8_ESNYrPhboC9a4Q1yXIP5_iUg0 |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=From+probability+monads+to+commutative+effectuses&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Jacobs%2C+Bart&rft.date=2018-01-01&rft.issn=2352-2208&rft.volume=94&rft.spage=200&rft.epage=237&rft_id=info:doi/10.1016%2Fj.jlamp.2016.11.006&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2016_11_006 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |