Session 7

Chair: Serenella Cerrito

• 15:15: Elaine Pimentel, Sonia Marin, Dale Miller, Marco Volpe. Focusing, axioms and synthetic inference rules (extended abstract).