Redexes are stable in the λ-calculus.

Jean-Jacques Lévy

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

artificial intelligence
computer vision
relational databases
clustering algorithm
decision trees
database systems
face recognition
information technology