Simple Type Theory

DOI10.1007/978-3-031-21112-6MaRDI QIDQ6488481zbMATH OpenFDO

Authors William M. Farmer

Publication date 21 April 2023

Published in Computer Science Foundations and Applied Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Type theory (03B38)

Recommendations

• An introduction to mathematical logic and type theory: To truth through proof.
• The seven virtues of simple type theory
• scientific article; zbMATH DE number 3999882
• Type theory and formal proof. An introduction
• scientific article; zbMATH DE number 2248154

Cited in

(6)

• The seven virtues of simple type theory
• Formalising basic topology for computational logic in simple type theory
• scientific article; zbMATH DE number 3999882 (Why is no real title available?)
• Propositional type theory of indeterminacy
• On some generalization of rough sets
• Simple Types in Type Theory: Deep and Shallow Encodings

This page was built for publication: Simple Type Theory

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