Strategies for Simply-Typed Higher Order Unification via Lambda se Style of Explicit Substitution. In Third Int'l Workshop of Explicit Substitutions: Theory and Applications to Programs and Proofs.

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - 2000

Cite this

@conference{6291a36c8fc2476d939b412b143c6773,
title = "Strategies for Simply-Typed Higher Order Unification via Lambda se Style of Explicit Substitution. In Third Int'l Workshop of Explicit Substitutions: Theory and Applications to Programs and Proofs.",
author = "M Ayala and Kamareddine, {Fairouz Dib}",
year = "2000",
language = "English",

}

TY - CONF

T1 - Strategies for Simply-Typed Higher Order Unification via Lambda se Style of Explicit Substitution. In Third Int'l Workshop of Explicit Substitutions: Theory and Applications to Programs and Proofs.

AU - Ayala, M

AU - Kamareddine, Fairouz Dib

PY - 2000

Y1 - 2000

M3 - Paper

ER -