Explicit Substitutions for Constructive Necessity.

Neil Ghani, Valeria de Paiva, Eike Ritter

Browse the full ICALP paper archive.