A type-theoretic approach to program development

DOI10.1007/BF02945309zbMath0725.68026MaRDI QIDQ2277827

Wei Li

Publication date: 1990

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

zbMATH Keywords

higher order typed lambda calculusprogram development using type theories

Mathematics Subject Classification ID

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

Cites Work

• Using typed lambda calculus to implement formal systems on a machine
• Fuzzy logic and approximate reasoning
• A framework for defining logics
• Natural deduction as higher-order resolution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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