An Algebraic Formulation of Knuthian Semantics

Laurian M. Chirica, David F. Martin

Browse the full FOCS paper archive.