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 theoryset-theoretic specificationtype inferenceweak fragments of ZF set theoryZermelo set theory
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of set theory (03E75) Axiomatics of classical set theory and its fragments (03E30)
Uses Software
Cites Work