A Notation for Lambda Terms: A Generalization of Environments.

Gopalan Nadathur Debra Sue Wilson

Published in: Theor. Comput. Sci. (1998)

Keyphrases

real time
relational databases
image sequences
data model
dynamic environments
complex environments
visual languages