Normal Form Bisimulations for Delimited-Control Operators

DOI10.1007/978-3-642-29822-6_7zbMath1354.68044arXiv1202.5959OpenAlexW45878689MaRDI QIDQ2900257

Sergueï Lenglet, Dariusz Biernacki

Publication date: 20 July 2012

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1202.5959

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Proving soundness of extensional normal-form bisimilarities ⋮ A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc ⋮ Unnamed Item

This page was built for publication: Normal Form Bisimulations for Delimited-Control Operators