scientific article; zbMATH DE number 3928338

MaRDI QIDQ3702502zbMATH OpenFDO

Authors Nax Paul Mendler, Robert Constable

Publication date 1985

zbMATH Keywords

constructive type theorydata typesdomain predicatespartial function-space constructorrecursive typesreflexive types of Scott's domain theorytotal function-space constructor

Mathematics Subject Classification ID

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

Recommendations

• A Type of Partial Recursive Functions
• scientific article; zbMATH DE number 1863381
• scientific article; zbMATH DE number 1223720
• Recursion on the partial continuous functionals
• Logical Approaches to Computational Barriers

Cited in

(32)

• The calculus of constructions
• Independence results in computer science?
• Recursive types for Fun
• The extended calculus of constructions (ECC) with inductive types
• Constructing type systems over an operational semantics
• A note on complexity measures for inductive classes in constructive type theory
• Logic of subtyping
• An operational domain-theoretic treatment of recursive types
• scientific article; zbMATH DE number 1808199 (Why is no real title available?)
• scientific article; zbMATH DE number 5142784 (Why is no real title available?)
• A Type of Partial Recursive Functions
• Computation by Prophecy
• scientific article; zbMATH DE number 3896271 (Why is no real title available?)
• scientific article; zbMATH DE number 3938562 (Why is no real title available?)
• scientific article; zbMATH DE number 3980461 (Why is no real title available?)
• scientific article; zbMATH DE number 4043253 (Why is no real title available?)
• scientific article; zbMATH DE number 1223720 (Why is no real title available?)
• scientific article; zbMATH DE number 2003155 (Why is no real title available?)
• scientific article; zbMATH DE number 2037780 (Why is no real title available?)
• scientific article; zbMATH DE number 1863381 (Why is no real title available?)
• Type theory as a foundation for computer science
• A set constructor for inductive sets in Martin-Löf's type theory
• Recursion on the partial continuous functionals
• Theorem Proving in Higher Order Logics
• Typed Lambda Calculi and Applications
• Logical Approaches to Computational Barriers
• Expressing computational complexity in constructive type theory
• Interpretations of recursively defined types
• Remarks on Martin-Löf's partial type theory
• Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators
• Propositional functions and families of types
• Do-it-yourself type theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3702502)