Janis Voigtländer, Patricia Johann. Selective strictness and parametricity in structural operational semantics, inequationally. Theoretical Computer Science, 388(1-3):290-318, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.