Observational Equivalence for the Interaction Combinators and Internal Separation

2007

Damiano Mazza

Electronic Notes in Theoretical Computer Science 176 (1):113-137

BibTeX