28620 articles – 22133 Notices  [english version]

inria-00075729, version 1

Confluence results for the pure strong categorical logic C.C.L. -calculi as sub-systems of C.C.L.

Thérèse Hardin 1

N° RR-0822 (1988)

  • 1 :  INRIA Rocquencourt (INRIA Rocquencourt)
  • INRIA
  • Domaine : Informatique/Autre
  • Référence interne : RR-0822
 
  • inria-00075729, version 1
  • http://hal.inria.fr/inria-00075729
  • oai:hal.inria.fr:inria-00075729
  • Contributeur : Rapport De Recherche Inria <>
  • Soumis le : Mercredi 24 Mai 2006, 18:54:48
  • Dernière modification le : Mercredi 31 Mai 2006, 14:24:35