scientific article; zbMATH DE number 6790164

DOI10.23638/LMCS-13(3:27)2017zbMath1421.68009arXiv1611.09626MaRDI QIDQ5367066

Andrés Aristizábal, Piotr Polesiuk, Dariusz Biernacki, Sergueï Lenglet

Publication date: 12 October 2017

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

contextual equivalencedelimited continuationenvironmental bisimulationup-to techniquedynamic prompt generation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Diacritical companions ⋮ Complete trace models of state and control ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Unnamed Item

This page was built for publication: