Correctness of Copy in Calculi with Letrec

DOI10.1007/978-3-540-73449-9_25zbMath1203.68032OpenAlexW2108393382MaRDI QIDQ5432349

Manfred Schmidt-Schauss

Publication date: 2 January 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73449-9_25

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items (2)

Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) ⋮ On generic context lemmas for higher-order calculi with sharing

This page was built for publication: Correctness of Copy in Calculi with Letrec