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