| Original language | English |
|---|---|
| Publication status | Published - 2000 |
Strategies for Simply-Typed Higher Order Unification via Lambda se Style of Explicit Substitution. In Third Int'l Workshop of Explicit Substitutions: Theory and Applications to Programs and Proofs.
M Ayala, Fairouz Dib Kamareddine
Research output: Contribution to conference › Paper › peer-review