Edifices and Full Abstraction for the Symmetric Interaction Combinators

DOI10.1007/978-3-540-73228-0_22zbMATH Open1215.03027OpenAlexW1806713775MaRDI QIDQ3612639

Damiano Mazza

Publication date: 10 March 2009

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-73228-0_22

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Edifices and Full Abstraction for the Symmetric Interaction Combinators