Type inference for set theory

Authors:
Raymond Turner
Affiliations:
Univ. of Essex, Colchester, UK
Venue:
Theoretical Computer Science
Year:
2001

Citing 4
Cited 1

Systematic software development using VDM

Systematic software development using VDM
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods
Weak Systems of Set Theory Related to HOL

Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications

Combining type theory and untyped set theory

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

Quantified Score

Hi-index	5.23

Visualization

Abstract

Weak set theories are employed for set-theoretic specification. We develop and explore type inference systems for such set theories.