On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms.

Olivier Bodini Paul Tarau

Published in: CoRR (2017)

Keyphrases

database
neural network
background knowledge
decision making
face recognition
optimal solution
fixed point
shape analysis