Invertibility in lambda-eta.

Published in: LICS (1998)

Keyphrases

binary images
sufficient conditions
fixed point
lambda calculus
database
neural network
databases
machine learning
three dimensional
open source