Robert L. Constable. Expressing Computational Complexity in Constructive Type Theory. In Daniel Leivant, editor, Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC 94, Indianapolis, Indiana, USA, 13-16 October 1994. Volume 960 of Lecture Notes in Computer Science, pages 131-144, Springer, 1994.
Abstract is missing.