A New Approach to Abstract Syntax Involving Binders.

Murdoch Gabbay Andrew M. Pitts

Published in: LICS (1999)

Keyphrases

high level
data sets
genetic algorithm
low level
real time
computer vision
multimedia
special case
syntactic analysis