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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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.
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.
Higher-order automated theorem proving.Michael Kohlhase - unknown
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★.F. L. C. de Moura, M. Ayala-Rincón & F. Kamareddine - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):119-150.
Linear explicit substitutions.N. Ghani, V. de Paiva & E. Ritter - 2000 - Logic Journal of the IGPL 8 (1):7-31.
Explicit substitutions calculi with one step Eta-reduction decided explicitly.Daniel Ventura, Mauricio Ayala-rincón & Fairouz Kamareddine - 2009 - Logic Journal of the IGPL 17 (6):697-718.
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.
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (vol 8, pg 769, 2010). [REVIEW]Gilles Dowek, Murdoch J. Gabbay & Dominic Mulligan - 2012 - Logic Journal of the IGPL 20 (1):769-822.
On the complexity of Bounded Second-Order Unification and Stratified Context Unification.Jordi Levy, Manfred Schmidt-schauß & Mateu Villaret - 2011 - Logic Journal of the IGPL 19 (6):763-789.
A unification algorithm for second-order monadic terms.William M. Farmer - 1988 - Annals of Pure and Applied Logic 39 (2):131-174.
First-order unification in the PVS proof assistant.A. B. Avelar, A. L. Galdino, F. L. C. de Moura & M. Ayala-Rincon - 2014 - Logic Journal of the IGPL 22 (5):758-789.
Higher order unification and the interpretation of focus.Stephen G. Pulman - 1997 - Linguistics and Philosophy 20 (1):73-115.
Higher-order intentionalism and higher-order acquaintance.Benj Hellie - 2007 - Philosophical Studies 134 (3):289--324.
Deaccenting and higher-order unification.Claire Gardent - 2000 - Journal of Logic, Language and Information 9 (3):313-338.
A unification-theoretic method for investigating the k-provability problem.William M. Farmer - 1991 - Annals of Pure and Applied Logic 51 (3):173-214.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,129,009)

6 months
5 (#544,079)

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