Typed lambda-calculus in classical Zermelo-Frænkel set theory.
Jean-Louis KrivinePublished in: Arch. Math. Log. (2001)
Keyphrases
- lambda calculus
- set theory
- predicate calculus
- first order logic
- programming language
- fuzzy set theory
- partial order
- probability theory
- rough sets
- mathematical morphology
- rough set theory
- complex objects
- database query languages
- fuzzy sets
- theorem proving
- program understanding
- higher order
- machine learning
- binary images
- gray scale