Multi-Level Lambda-Calculi: An Algebraic Description.

Flemming Nielson Hanne Riis Nielson

Published in: Dagstuhl Seminar on Partial Evaluation (1996)

Keyphrases

high level
fixed point
databases
neural network
relational databases
database
real world
artificial intelligence
image processing
case study
database systems
spatial relations
multi layer