DMCA
Comparing and Implementing Calculi of Explicit Substitutions with Eta Reduction (2005)
by
Mauricio Ayala-Rincon
,
Flavio L. C. de Moura
,
Fairouz Kamareddine
Venue: | Annals of Pure and Applied Logic |
Citations: | 8 - 8 self |