Login / Signup
Should Type Theory replace Set Theory as the Foundation of Mathematics.
Thorsten Altenkirch
Published in:
CoRR (2021)
Keyphrases
</>
set theory
algebraic geometry
first order logic
fuzzy set theory
partial order
boolean algebra
rough sets
fuzzy sets
rough set theory
mathematical morphology
databases
probability theory
inference rules
morphological operations
probability distribution
image analysis
computer science
cooperative