scientific article; zbMATH DE number 883893

MaRDI QIDQ4880141zbMATH OpenFDO

Authors Yuxi Fu

Publication date 13 January 1998

zbMATH Keywords

recursive modelMartin-Löf's type theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Type-theoretic interpretation of iterated, strictly positive inductive definitions
• scientific article; zbMATH DE number 1670736
• Inductive families

Cited in

(11)

• Semantics of constructions. I: The traditional approach
• Constructive sets in computable sets
• scientific article; zbMATH DE number 5142784 (Why is no real title available?)
• scientific article; zbMATH DE number 1670736 (Why is no real title available?)
• Terminating general recursion
• Type-theoretic interpretation of iterated, strictly positive inductive definitions
• General Recursion via Coinductive Types
• Modelling general recursion in type theory
• scientific article; zbMATH DE number 1863381 (Why is no real title available?)
• scientific article; zbMATH DE number 4135384 (Why is no real title available?)
• Structures definable in polymorphism

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 Q4880141)