Skip to content

A Compositional Semantics for the Reversible p-Calculus.

Ioana Cristescu, Jean Krivine, Daniele Varacca

VenueA*LICS
Year2013
ProceedingsLICS

Browse the full LICS paper archive.