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

Research output: Contribution to conference › Paper

Original language	English
Publication status	Published - 2001
Event	8th Workshop on Logic, Language, Information and Computation - , Brazil Duration: 31 Jul 2001 → 3 Aug 2001

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

Cite this

@conference{d4e0e5949ec841988294b4c5b2718e53,

title = "On applying the $\lambda s_e$-style of unification for simply-typed higher order unification in the pure $\lambda$-calculus",

author = "M Ayala and Kamareddine, {Fairouz Dib}",

year = "2001",

language = "English",

note = "8th Workshop on Logic, Language, Information and Computation ; Conference date: 31-07-2001 Through 03-08-2001",

}