Français
Miller, Dale
Author
H
Personal page : http://www.lix.polytechnique.fr/Labo/Dale.Miller/
ORCID : 0000-0003-0274-4954
ISNI : 0000000382291720 idRef : 142334367
Viaf : 264446257
ZBMATH : miller.dale-a
Miller, D.
INRIA Saclay - Laboratoire d'informatique (LIX) École Polytechnique, Palaiseau
Personal page : http://www.lix.polytechnique.fr/Labo/Dale.Miller/
ORCID : 0000-0003-0274-4954
ISNI : 0000000382291720 idRef : 142334367
Viaf : 264446257
ZBMATH : miller.dale-a
Documents (Authors)
-
[Multi angle]
From axioms to synthetic inference rules via focusing
/ Author of the conference Miller, Dale.
-Marseille : CIRM
-
[Multi angle]
Focused proof systems
/ Author of the conference Miller, Dale.
-Marseille : CIRM
