Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators.

Damiano Mazza, Neil J. Ross

Browse the full FOSSACS paper archive.