Program equivalence in a linear functional language

DOI10.1017/S0956796899003639zbMATH Open1020.68500OpenAlexW2010483477WikidataQ128253385 ScholiaQ128253385MaRDI QIDQ4500364FDOQ4500364

Authors: Gavin M. Bierman 

Publication date: 4 September 2000

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796899003639

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (4)

• Applicative Bisimulation and Quantum λ-Calculi
• Program equivalence in linear contexts
• On the reification of semantic linearity
• Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion

This page was built for publication: Program equivalence in a linear functional language

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