Higher-Order Constraint Simplification In Dependent Type Theory

by Jason Reed
Citations:3 - 0 self