Iteration and labelled iteration

DOI10.1016/j.entcs.2016.09.035zbMath1394.68061OpenAlexW2527774777WikidataQ113317637 ScholiaQ113317637MaRDI QIDQ1744383

Paul Blain Levy, Bram Geron

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.035

zbMATH Keywords

iterationoperational semanticsloopsdenotational semanticslambda calculusde Bruijn indiceshigher-order languagelexical binding

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

A metalanguage for guarded iteration

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Infinite trees and completely iterative theories: A coalgebraic view
• Kleene Monads: Handling Iteration in a Framework of Generic Effects
• Kleene Algebra with Products and Iteration Theories
• Elgot theories: a new perspective on the equational properties of iteration
• Kleene Algebra with Equations
• Compiling with continuations, continued
• Programming and reasoning with algebraic effects and dependent types
• Handlers in action
• Elgot Algebras
• Intensional interpretations of functionals of finite type I
• Typed Lambda Calculi and Applications
• Unguarded recursion on coinductive resumptions

This page was built for publication: Iteration and labelled iteration