The enriched effect calculus: syntax and semantics (Q2937687)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The enriched effect calculus: syntax and semantics |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The enriched effect calculus: syntax and semantics |
scientific article |
Statements
The enriched effect calculus: syntax and semantics (English)
0 references
12 January 2015
0 references
computational effects
0 references
linear logic
0 references
0.87936527
0 references
0.87045676
0 references
0.86355823
0 references
0.8621535
0 references
0 references
0.8565541
0 references
0.85476947
0 references
0.84892267
0 references
