Higher-order constraint simplification in dependent type theory (2009)

by Jason Reed
Venue:In International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP’09