The call-by-value [lambda]-calculus: a semantic investigation.

Alberto Pravato Simona Ronchi Della Rocca Luca Roversi

Published in: Math. Struct. Comput. Sci. (1999)

Keyphrases

lambda calculus
predicate calculus
programming language
natural language
domain specific
semantic network
high level
general purpose
higher order
integrity constraints
complex objects