Schwichtenberg-Style Lambda Definability Is Undecidable.

Jan Malolepszy Malgorzata Moczurad Marek Zaionc

Published in: TLCA (1997)

Keyphrases

fixed point
sufficient conditions
propositional logic
np complete
artificial neural networks
query language
lambda calculus
real world
computer vision
e learning
search algorithm