Results 1 -
1 of
1
Higher-Order Unification: A structural relation between Huet’s
"... method and the one based on explicit substitutions ⋆ ..."
SUBSEXPL: a Tool for Simulating and Comparing Explicit Substitutions Calculi (2006)
by F L C de Moura, M Ayala-Rincón, F Kamareddine
| Venue: | Proc. 6th IEEE Symp |
