Communication Dans Un Congrès
Année : 2010
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527916
Soumis le : mercredi 20 octobre 2010-15:48:50
Dernière modification le : vendredi 24 mars 2023-14:52:53
Citer
Michele Basaldella, Alexis Saurin, Kazushige Terui. From Focalization of Logic to the Logic of Focalization. Twenty-Sixth Conference on the Mathematical Foundations of Programming Semantics - MFPS XXVI, May 2010, Ottawa, Canada. pp.161-176, ⟨10.1016/j.entcs.2010.08.010⟩. ⟨hal-00527916⟩
Collections
67
Consultations
0
Téléchargements