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

On Phase Semantics and Denotational Semantics in Multiplicative Additive Linear Logic

Thomas Ehrhard
Fichier non déposé

Dates et versions

hal-00527039 , version 1 (17-10-2010)

Identifiants

  • HAL Id : hal-00527039 , version 1

Citer

Thomas Ehrhard, Antonio Bucciarelli. On Phase Semantics and Denotational Semantics in Multiplicative Additive Linear Logic. Annals of Pure and Applied Logic, 2000, 102 (3), pp.247-282. ⟨hal-00527039⟩
68 Consultations
0 Téléchargements

Partager

  • More