Selective strictness and parametricity in structural operational semantics, inequationally (0)

by Janis Voigtländer, Patricia Johann
Venue:Theoretical Computer Science