Article Dans Une Revue Annals of Pure and Applied Logic Année : 2008

Proof nets sequentialisation in multiplicative linear logic

Fichier non déposé

Dates et versions

hal-00629440 , version 1 (05-10-2011)

Identifiants

  • HAL Id : hal-00629440 , version 1

Citer

Paolo Di Giamberardino, Claudia Faggian. Proof nets sequentialisation in multiplicative linear logic. Annals of Pure and Applied Logic, 2008, 155 (3), pp.173-182. ⟨hal-00629440⟩
57 Consultations
0 Téléchargements

Partager

  • More