Second-Order and Dependently-Sorted Abstract Syntax.

Marcelo P. Fiore

Published in: LICS (2008)

Keyphrases

high level
higher order
information retrieval
database
databases
neural network
real world
decision making
image processing
face recognition
reinforcement learning
multi agent
digital libraries
higher level
high order
definition language