Anthony Cantor
A semantics and a sequent calculus for dual counterpart intuitionistic logic
Defense date
Location
Zoom
Degree major
Computer Science
Chair(s)
Aaron Stump