On Applying the lambda se-style of unification for simply-typed higher order unification

M Ayala-Rincon, Fairouz Dib Kamareddine

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)1-22
Number of pages22
JournalMatemática Contemporânea
Volume24
Publication statusPublished - 2003

Cite this