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 languageEnglish
Publication statusPublished - 2001
Event8th Workshop on Logic, Language, Information and Computation - , Brazil
Duration: 31 Jul 20013 Aug 2001

Workshop

Workshop8th Workshop on Logic, Language, Information and Computation
CountryBrazil
Period31/07/013/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.