DMCA

Principal Typings for Explicit Substitutions Calculi

by Daniel Lima Ventura , Mauricio Ayala-rincón , Fairouz Kamareddine