A type-theoretic approach to program development

DOI10.1007/BF02945309MaRDI QIDQ2277827zbMATH OpenFDO

Authors Wei Li

Publication date 1990

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02945309

zbMATH Keywords

higher order typed lambda calculusprogram development using type theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01)

Recommendations

• Program development in constructive type theory
• scientific article; zbMATH DE number 559219
• Do-it-yourself type theory
• Program derivation in type theory: A partitioning problem
• Program specification and data refinement in type theory

Cites work

• A framework for defining logics
• Fuzzy logic and approximate reasoning
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 3872646 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4052993 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• Natural deduction as higher-order resolution
• Using typed lambda calculus to implement formal systems on a machine

Cited in

(4)

• A theory for program and data type specification
• Singleton, union, and intersection types for program extraction
• Program derivation in type theory: A partitioning problem
• scientific article; zbMATH DE number 176125 (Why is no real title available?)

This page was built for publication: A type-theoretic approach to program development

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