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 (12)

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

This page was built for publication: