Comparing and Implementing Calculi of Explicit Substitutions with Eta Reduction (2005)

Cached

Download Links

by Mauricio Ayala-Rincon , Flavio L. C. de Moura , Fairouz Kamareddine
Venue:Annals of Pure and Applied Logic
Citations:10 - 8 self