Functions and references in the -calculus: full abstraction and proof techniques

DOI10.4230/LIPICS.ICALP.2022.130MaRDI QIDQ6560932zbMATH OpenFDO

Authors Enguerrand Prebet

Publication date 24 June 2024

zbMATH Keywords

\(\pi\)-calculustype systembisimulationimperative programmingcall-by-value \(\lambda\)-calculus

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Functions and references in the \(\pi\)-calculus: full abstraction and proof techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560932)