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

M Ayala-Rincon, Fairouz Dib Kamareddine

Research output: Contribution to journalArticle

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

Cite this

@article{dfb6d7ec14ce4e10995ee6a46f2d68e7,
title = "On Applying the lambda se-style of unification for simply-typed higher order unification",
author = "M Ayala-Rincon and Kamareddine, {Fairouz Dib}",
year = "2003",
language = "English",
volume = "24",
pages = "1--22",
journal = "Matem{\'a}tica Contempor{\^a}nea",
issn = "0103-9059",

}

On Applying the lambda se-style of unification for simply-typed higher order unification. / Ayala-Rincon, M; Kamareddine, Fairouz Dib.

In: Matemática Contemporânea, Vol. 24, 2003, p. 1-22.

Research output: Contribution to journalArticle

TY - JOUR

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

AU - Ayala-Rincon, M

AU - Kamareddine, Fairouz Dib

PY - 2003

Y1 - 2003

M3 - Article

VL - 24

SP - 1

EP - 22

JO - Matemática Contemporânea

JF - Matemática Contemporânea

SN - 0103-9059

ER -