Edifices and Full Abstraction for the Symmetric Interaction Combinators

2007

Damiano Mazza

in Lecture Notes in Computer Science
BibTeX