Polynomial Time in the Parametric Lambda Calculus.

Brian F. Redmond

Published in: TLCA (2015)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
databases
complex objects
data structure
expert systems
conceptual model
predicate logic