Program equivalence in a linear functional language

DOI10.1017/S0956796899003639zbMath1020.68500OpenAlexW2010483477WikidataQ128253385 ScholiaQ128253385MaRDI QIDQ4500364

G. 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)

Related Items (4)

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

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