Fully Abstract Submodels of Typed Lambda Calculi.

Published in: J. Comput. Syst. Sci. (1986)

Keyphrases

lambda calculus
higher order
database
neural network
programming language
fixed point
information retrieval
genetic algorithm
decision making
high level
low level
object oriented
predicate calculus
fixed order
sequent calculi