The algebraicity of the lambda-calculus

André Hirschowitz Marco Maggesi

Published in: CoRR (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
case study
higher order
object oriented
knowledge representation
general purpose
co occurrence
eye tracking
semantic network