Unification via lambda-s_e-Style of Explicit Substitution

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)521-555
Number of pages35
JournalJournal of the Interest Group of Pure and Applied Logic
Volume9
Issue number4
Publication statusPublished - 2001

Cite this