scientific article; zbMATH DE number 4096760

MaRDI QIDQ3823124zbMATH OpenFDO

Authors Paul Chisholm, Grant Malcolm, Roland C. Backhouse

Publication date 1988

zbMATH Keywords

inductive proofloop invariantsmajority-vote problemMartin-Löf's types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General logic (03B99) General topics in the theory of software (68N01) Theory of computing (68Q99) Algorithms in computer science (68W99)

Recommendations

• Do-it-yourself type theory
• scientific article; zbMATH DE number 4096759
• A While-rule in Martin-Lof's Theory of Types
• Inductive families
• scientific article; zbMATH DE number 2077110

Cited in

(8)

• Constructing recursion operators in intuitionistic type theory
• Type theory should eat itself
• A While-rule in Martin-Lof's Theory of Types
• scientific article; zbMATH DE number 4096759 (Why is no real title available?)
• Formalizing type operations using the ``image type constructor
• Congruence types
• Innovations in computational type theory using Nuprl
• 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 Q3823124)