Active Bibliography

22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
11 Computational Complexity and Induction for Partial Computable Functions in Type Theory – Robert L. Constable, Karl Crary - 1999
Naïve Type Theory – Robert L. Constable - 2002
5 Naïve computational type theory – Robert L. Constable - 2002
9 The structure of nuprl’s type theory – Robert L. Constable - 1997
5 Hybrid Partial-Total Type Theory – Scott Smith - 1995
15 NuPRL’s class theory and its applications – Robert L. Constable, Jason Hickey - 2000
13 Foundations for the Implementation of Higher-Order Subtyping – Karl Crary - 1997
The Triumph of Types: Principia Mathematica’s Impact on Computer Science – Robert L. Constable
3 Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs – James L. Caldwell, II - 1998
A Type of Partial Recursive Functions – Ana Bove, Venanzio Capretta
20 Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988
7 Markov’s principle for propositional type theory – Alexei Kopylov, Aleksey Nogin - 2001
7 Partial computations in constructive type theory – Scott F. Smith - 1991
Formalization of Divisibility Theory in Nuprl – Paul B. Jackson
4 A Predicative Type-Theoretic Interpretation of Objects – Jason J. Hickey - 1997
11 Constructively Formalizing Automata Theory – Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan Uribe - 1997
12 Nuprl-Light: An implementation framework for higher-order logics – Jason J. Hickey - 1997