Principal Typings for Explicit Substitutions Calculi.

Daniel Lima Ventura, Mauricio Ayala-Rincn, Fairouz Kamareddine

Browse the full CiE paper archive.