Semantics for Algebraic Operations
Open Access
- 1 November 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 45, 332-345
- https://doi.org/10.1016/s1571-0661(04)80970-8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Adequacy for Algebraic EffectsPublished by Springer Nature ,2001
- Call-by-Push-Value: A Subsuming ParadigmPublished by Springer Nature ,1999
- A representable approach to finite nondeterminismTheoretical Computer Science, 1997
- Notions of computation and monadsInformation and Computation, 1991
- A Powerdomain ConstructionSIAM Journal on Computing, 1976