scientific article; zbMATH DE number 2003151

MaRDI QIDQ4435462zbMATH OpenFDO

Authors Jesper Carlström

Publication date 12 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2646/26460078.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1302065
• Remarks on Martin-Löf's partial type theory
• scientific article; zbMATH DE number 517090
• A simple type theory with partial functions and subtypes
• Automated Deduction – CADE-19

Cited in

(11)

• A minimalist two-level foundation for constructive mathematics
• Formal Zariski topology: Positivity and points
• Collections, sets and types
• scientific article; zbMATH DE number 1302065 (Why is no real title available?)
• scientific article; zbMATH DE number 517090 (Why is no real title available?)
• Setoids in type theory
• Are subsets necessary in Martin-Löf type theory?
• Automated Deduction – CADE-19
• A Comparison of Type Theory with Set Theory
• Propositional functions and families of types
• The Zariski spectrum as a formal geometry

This page was built for publication:

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