Researcher identifiers

Number of documents

1

Claude Kirchner


"Frank Pfenning"   

Reports1 document

  • Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning. Unification via Explicit Substitutions: The Case of Higher-Order Patterns. [Research Report] RR-3591, INRIA. 1998, pp.33. ⟨inria-00077203⟩