Typed lambda-calculi with explicit substitutions may not terminate.

Paul-André Melliès

Published in: TLCA (1995)

Keyphrases

lambda calculus
higher order
programming language
neural network
genetic algorithm
data sets
databases
predicate calculus