Quote


Voting: - 1 +
Structural operational semantics are kind of kinky.
— Fred Schneider · July 12, 2004