From Focalization of Logic to the Logic of Focalization

Michele Basaldella 1 Alexis Saurin 2, 3 Kazushige Terui 1
3 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00527916
Contributor : Alexis Saurin <>
Submitted on : Wednesday, October 20, 2010 - 3:48:50 PM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

186