Lambda Congruences and Extensionality.

Michele Basaldella

Published in: CoRR (2019)

Keyphrases

fixed point
genetic algorithm
lambda calculus
real time
pattern recognition
multi agent systems
information extraction
general purpose
higher order