Communication Dans Un Congrès
Année : 2007
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527888
Soumis le : mercredi 20 octobre 2010-15:27:04
Dernière modification le : vendredi 24 mars 2023-14:52:53
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⟩
Collections
111
Consultations
0
Téléchargements