Linear Logic - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2006
Fichier non déposé

Dates et versions

hal-00160648 , version 1 (06-07-2007)

Identifiants

  • HAL Id : hal-00160648 , version 1

Citer

Roberto Di Cosmo, Dale Miller. Linear Logic. Edward N. Zalta. The Stanford Encyclopedia of Philosophy, The Metaphysics Research Lab Center for the Study of Language and Information Stanford University Stanford, CA 94305-4115, http://plato.stanford.edu/archives/fall2006/entries/logic-linear/, 2006. ⟨hal-00160648⟩
234 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More