Hybrid Partial-Total Type Theory

Hybrid Partial-Total Type Theory (1995)

by Scott Smith

Citations:

5 - 0 self

395	The formulae-as-types notion of constructions – W A HOWARD - 1980
19	Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988
18	Partial Objects in the Calculus of Constructions – Philippe Audebaud - 1991
32	Partial Objects in Constructive Type Theory – Robert L Constable, Scott Fraser Smith - 1987
7	Markov’s principle for propositional type theory – Alexei Kopylov, Aleksey Nogin - 2001
14	Reasoning in interval temporal logic – Ben Moszkowski, Zohar Manna - 1983
46	Foundations of mathematical logic – H B Curry - 1963
99	Inductively defined types – T Coquand, C Paulin - 1988
81	Inductive Types and Type Constraints in the Second-Order Lambda Calculus. Annals of pure and Applied logic 51 – N P Mendler - 1991
53	Propositional Lax Logic – Matt Fairtlough, Michael Mendler - 1997
183	Combinatory Logic I – H B Curry, R Feys - 1958
22	Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
235	Constructive mathematics and computer programming – Per Martin-Lof - 1982
18	Partial Objects in Type Theory – Scott Fraser Smith - 1989
3	Logic of subtyping – Pavel Naumov - 2005
1	An extension of the classical propositional logic by type constructors – Pavel Naumov
51	Constable et al. Implementing Mathematics with the Nuprl Proof Development System – L Robert
84	The algebra of topology – J C C McKinsey, A Tarski - 1944
66	Jerzy Tiuryn. Dynamic logic – David Harel, Dexter Kozen - 2000