Retracts in simply typed lambda-beta-eta-calculus

Ugo de'Liguoro Adolfo Piperno Richard Statman

Published in: LICS (1992)

Keyphrases

lambda calculus
database query languages
programming language
predicate calculus
database systems
program understanding
higher order
complex objects
real world
e learning
rough sets
fixed point
proof procedure
neural network
artificial intelligence
expressive power