activity
20102026
most citedA Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

31 citations · 68 across the 12 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value

Nicolò Pizzo, Claudio Sacerdoti Coen

Landauer's embeddings enable the reversibility of computations for non-reversible programming languages, augmenting each intermediate state with enough data to reconstruct the prev…