# On applying the $\lambda s_e$-style of unification for simply-typed higher order unification in the pure $\lambda$-calculus

Research output: Contribution to conferencePaper

Original language English Published - 2001 8th Workshop on Logic, Language, Information and Computation - , BrazilDuration: 31 Jul 2001 → 3 Aug 2001

### Workshop

Workshop 8th Workshop on Logic, Language, Information and Computation Brazil 31/07/01 → 3/08/01

## Cite this

Ayala, M., & Kamareddine, F. D. (2001). On applying the $\lambda s_e$-style of unification for simply-typed higher order unification in the pure $\lambda$-calculus. Paper presented at 8th Workshop on Logic, Language, Information and Computation , Brazil.