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

David Baelde, Amy Felty, Gopalan Nadathur, Alexis Saurin

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
Pages (from-to)1007-1008
Number of pages2
JournalMathematical Structures in Computer Science
Issue number8
StatePublished - Sep 1 2019

Cite this