Conflicting accounts of λ-definability.

Barry Jay Jose Vergara

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

fixed point
propositional logic
image processing
information systems
artificial intelligence
neural network
pattern recognition
computational complexity
finite model theory