coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Unification

From: Colin Riba <Colin.Riba AT loria.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Unification
Date: Thu, 3 Feb 2005 11:22:56 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: Loria

Hi all

I'm looking for a formalisation of first order unification in Coq.
Can somebody tell me if there are contributions and/or papers on this topics ?

Thanks
Colin

[Coq-Club] Unification, Colin Riba
- Re: [Coq-Club] Unification, Claude Marche
  - Re: [Coq-Club] Unification, Thery Laurent
    - Monad (Re: [Coq-Club] Unification), David Nowak
      - Re: Monad (Re: [Coq-Club] Unification), Jean-Christophe Filliatre
      - Re: Monad (Re: [Coq-Club] Unification), Thery Laurent
        
        Re: Monad (Re: [Coq-Club] Unification), David Nowak
- Re: [Coq-Club] Unification, Conor McBride