A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday - Archive ouverte HAL Access content directly
Special Issue Mathematical Structures in Computer Science Year : 2019

Dates and versions

hal-02408211 , version 1 (08-01-2021)

Identifiers

Cite

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⟩
52 View
39 Download

Altmetric

Share

Gmail Facebook X LinkedIn More