Computational Complexity and Induction for Partial Computable Functions in Type Theory (1999)

by Robert L. Constable , Karl Crary
Venue:In Preprint
Citations:12 - 7 self