Type inference for set theory
From MaRDI portal
Publication:5958782
DOI10.1016/S0304-3975(01)00123-2zbMath0987.03044MaRDI QIDQ5958782
Publication date: 3 March 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
MacLane set theory; set-theoretic specification; type inference; weak fragments of ZF set theory; Zermelo set theory
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03E75: Applications of set theory
03E30: Axiomatics of classical set theory and its fragments
Uses Software
Cites Work