Categorical Models of Explicit Substitutions.

Neil Ghani, Valeria de Paiva, Eike Ritter

Browse the full FOSSACS paper archive.