Andrew Marmaduke
A Proof Theoretic Redesign of the Calculus of Dependent Lambda Eliminations
Defense date
Location
Zoom
Degree major
Computer Science
Chair(s)
Aaron Stump