A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday

David Baelde (1) , Amy Felty (2) , Gopalan Nadathur (3) , Alexis Saurin (4, 5)

1 LSV - Laboratoire Spécification et Vérification
2 EECS - School of Electrical Engineering and Computer Science
3 Department of Computer Science and Engineering [Minneapolis]
4 PI.R2 - Design, study and implementation of languages for proofs and programs
5 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale

Domaines: Logique en informatique [cs.LO]

David Baelde, Amy Felty, Gopalan Nadathur, Alexis Saurin. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday. Mathematical Structures in Computer Science, 29 (8), pp.1007-1008, 2019, ⟨10.1017/S0960129519000136⟩. ⟨hal-02408211⟩