Quotienting the Delay Monad by Weak Bisimilarity
From MaRDI portal
Publication:2787419
DOI10.1007/978-3-319-25150-9_8zbMath1407.68305OpenAlexW2255188432MaRDI QIDQ2787419
James T. E. Chapman, Niccolò Veltri, Tarmo Uustalu
Publication date: 25 February 2016
Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)
Full work available at URL: https://strathprints.strath.ac.uk/61728/
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Related Items
Partiality and Container Monads, Unnamed Item, Unifying Guarded and Unguarded Iteration, Partiality, Revisited