Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
From MaRDI portal
Publication:3401141
DOI10.2168/LMCS-5(4:6)2009zbMath1187.68219MaRDI QIDQ3401141
Publication date: 28 January 2010
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-5(4:6)2009
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
03B40: Combinatory logic and lambda calculus
Related Items