2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Harley Eades, Aaron Stump, Ryan McCleeary
We propose a new bi-intuitionistic type theory called Dualized Type Theory (DTT). It is a simple type theory with perfect intuitionistic duality, and corresponds to a single-sided…