scientific article

zbMath0579.68019MaRDI QIDQ3702502

Nax Paul Mendler, Robert L. Constable

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive type theoryrecursive typesdata typesdomain predicatespartial function-space constructorreflexive types of Scott's domain theorytotal function-space constructor

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Other constructive mathematics (03F65)

Related Items

The calculus of constructions, Type theory as a foundation for computer science, A set constructor for inductive sets in Martin-Löf's type theory, Expressing computational complexity in constructive type theory, Do-it-yourself type theory, Independence results in computer science?, A Type of Partial Recursive Functions, The extended calculus of constructions (ECC) with inductive types, Constructing type systems over an operational semantics, Remarks on Martin-Löf's partial type theory, Logic of subtyping, A note on complexity measures for inductive classes in constructive type theory