DMCA

Higher-Order Unification: A structural relation between Huet’s method and the one based on explicit substitutions

by Flavio L. C: de Moura , Mauricio Ayala-Rincón , Fairouz Kamareddine
Citations:1 - 1 self