Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions

, &
Journal of Applied Logic 6 (1):72-108 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2006.10.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Unification via the λse-style of explicit substitutions.M. Ayala-rincón & F. Kamareddine - 2001 - Logic Journal of the IGPL 9 (4):489-523.
Kamareddine Fairouz, Laan Twan, and Nederpelt Rob. A modern perspective on type theory—From its origins until today. Applied Logic Series, vol. 29. Kluwer Academic Publishers, Dordrecht, 2004, xiv+ 357 pp. [REVIEW]Marc Bezem - 2006 - Bulletin of Symbolic Logic 12 (2):296-297.
Comparing Approaches To Resolution Based Higher-Order Theorem Proving.Christoph Benzmüller - 2002 - Synthese 133 (1-2):203-335.
A Logic Programming Language with Lambda-abstraction, Function Variables, and Simple Unification.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
Comparing and implementing calculi of explicit substitutions with eta-reduction.Mauricio Ayala-Rincón, Flávio L. C. de Moura & Fairouz Kamareddine - 2005 - Annals of Pure and Applied Logic 134 (1):5-41.
Linear explicit substitutions.N. Ghani, V. de Paiva & E. Ritter - 2000 - Logic Journal of the IGPL 8 (1):7-31.
Unification For Quantified Formulae.Wilfried Sieg - unknown
Unification of Simply Typed Lambda-terms as Logic Programming.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
Bridging de Bruijn indices and variable names in explicit substitutions calculi.F. Kamareddine & A. Ríos - 1998 - Logic Journal of the IGPL 6 (6):843-874.
Higher-order automated theorem proving.Michael Kohlhase - unknown

Analytics

Added to PP
2016-06-30

Downloads
20 (#1,039,559)

6 months
6 (#858,075)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references