Communication Dans Un Congrès Année : 2008

Differential Linear Logic and Processes

Thomas Ehrhard

Dates et versions

hal-00712281 , version 1 (26-06-2012)

Identifiants

Citer

Thomas Ehrhard. Differential Linear Logic and Processes. Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, Sep 2008, Milan, Italy. pp.283, ⟨10.1007/978-0-387-09680-3_19⟩. ⟨hal-00712281⟩
44 Consultations
0 Téléchargements

Altmetric

Partager

  • More