We consider the problem of establishing a relationship between two interpretations of base type terms of a λc-calculus with algebraic operations. We show that the given relationship holds if it satisfies a set of natural conditions. We apply this result to comparing interpretations of new name creation by two monads: Stark's new name creation monad [25] and a global counter monad. © 2011 Springer-Verlag.
CITATION STYLE
Katsumata, S. Y. (2011). Relating computational effects by ⊤⊤-lifting. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6756 LNCS, pp. 174–185). https://doi.org/10.1007/978-3-642-22012-8_13
Mendeley helps you to discover research relevant for your work.