Completeness of bisimilarity for contextual equivalence in linear theories

DOI10.1093/JIGPAL/9.1.27zbMath0970.68097OpenAlexW1979699267MaRDI QIDQ2708307

Roy L. Crole

Publication date: 17 April 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b8a1af0a848270b1c69d945c7d629a7761805f81

zbMATH Keywords

operational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

Applicative Bisimulation and Quantum λ-Calculi ⋮ Alpha equivalence equalities ⋮ Program equivalence in linear contexts

This page was built for publication: Completeness of bisimilarity for contextual equivalence in linear theories