Preuve de confluence de $\lambda_{exn}$

Philippe de Groote 1 Catherine Pilière 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : N.A.
keyword : N.A N.A.
Document type :
Reports
Liste complète des métadonnées

https://hal.inria.fr/inria-00098334
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 3:36:08 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM

Identifiers

  • HAL Id : inria-00098334, version 1

Collections

Citation

Philippe de Groote, Catherine Pilière. Preuve de confluence de $\lambda_{exn}$. [Interne] 98-R-298 || de_groote98b, 1998, 19 p. ⟨inria-00098334⟩

Share

Metrics

Record views

67