Simple Type Theory

DOI10.1007/978-3-031-21112-6zbMATH Open1515.03002MaRDI QIDQ6488481FDOQ6488481

Authors: William M. Farmer 

Publication date: 21 April 2023

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• The seven virtues of simple type theory
• Formalising basic topology for computational logic in simple type theory
• Title not available (Why is that?)
• 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)