Type inference for set theory
Weak set theories are employed for set-theoretic specification. We develop and explore type inference systems for such set theories. (C) 2001 Elsevier Science BN. All rights reserved.
type inference set theory specification