From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Dates et versions

hal-00527888 , version 1 (20-10-2010)

Identifiants

Citer

Alexis Saurin, Dale Miller. From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. 16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Sep 2007, Lausanne, Switzerland. pp.405-419, ⟨10.1007/978-3-540-74915-8_31⟩. ⟨hal-00527888⟩
111 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More