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)

Full work available at URL https://doi.org/10.1007/978-3-031-21112-6

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

(7)

• Simple Types in Type Theory: Deep and Shallow Encodings
• scientific article; zbMATH DE number 3999882 (Why is no real title available?)
• On some generalization of rough sets
• Formalising basic topology for computational logic in simple type theory
• Propositional type theory of indeterminacy
• Notes on Gödel's and Scott's variants of the ontological argument
• The seven virtues of simple type theory

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)