scientific article; zbMATH DE number 883893

zbMATH Open0846.68063MaRDI QIDQ4880141FDOQ4880141

Yuxi Fu

Publication date: 13 January 1998

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

recursive modelMartin-Löf's type theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (11)

• Constructive sets in computable sets
• Type-theoretic interpretation of iterated, strictly positive inductive definitions
• General Recursion via Coinductive Types
• Structures definable in polymorphism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modelling general recursion in type theory
• Terminating general recursion
• Semantics of constructions. I: The traditional approach

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)