Homotopic deductions in unification logic

Philippe Le Chenadec 1
1 ALGO - Algorithms
Inria Paris-Rocquencourt
Résumé : Résumé disponible dans le fichier PDF
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00075177
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 5:39:10 PM
Last modification on : Friday, May 25, 2018 - 12:02:02 PM
Long-term archiving on : Tuesday, April 12, 2011 - 9:37:51 PM

Identifiers

  • HAL Id : inria-00075177, version 1

Collections

Citation

Philippe Le Chenadec. Homotopic deductions in unification logic. [Research Report] RR-1384, INRIA. 1991. ⟨inria-00075177⟩

Share

Metrics

Record views

131

Files downloads

71