Continuity and Discontinuity in Lambda Calculus.

Paula Severi Fer-Jan de Vries

Published in: TLCA (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
complex objects
higher order
artificial intelligence
object oriented
general purpose