Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Damiano Mazza  [Clear All Filters]
D. Mazza and Ross, N. J., Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators, Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structures, vol. 7213, pp. 316-330, 2012.