Transformations and Reduction Strategies for Typed Lambda Expressions.

Michael P. Georgeff

Published in: ACM Trans. Program. Lang. Syst. (1984)

Keyphrases

lambda calculus
rewrite rules
object recognition
higher order
computer vision
website
three dimensional
multi agent
relational databases
control system
query language
programming language
search strategies
online auctions
optimization strategies