An introduction to mathematical logic and type theory: to truth through proof
An introduction to mathematical logic and type theory: to truth through proof
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Combining type theory and untyped set theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Hi-index | 0.00 |
We give a formulation of simple type theory in which types are just sets. This theory is obtained by relativizing quantifiers and replacing typing predicates by membership of some sets. It can easily be extended to include predicate subtyping.