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

Fingerprint

Dive into the research topics of 'A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday'. Together they form a unique fingerprint.