DMCA

Explicit Substitutions Calculi with One Step Eta-reduction Decided Explicitly

by Daniel Ventura , Mauricio Ayala-Rincón , Fairouz Kamareddine