The Curry-Howard Correspondence in Set Theory.

Jean-Louis Krivine

Published in: LICS (2000)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
mathematical morphology
rough set theory
algebraic geometry
rough sets
fuzzy sets
probability theory
decision making
decision makers
multi dimensional
high order
medical images
description logics
databases