A - Translation and Looping Combinators in Pure Type Systems.

Thierry Coquand Hugo Herbelin

Published in: J. Funct. Program. (1994)

Keyphrases

data sets
building blocks
machine translation
multimedia
website
multi agent
video sequences
digital libraries
management system
intelligent systems
knowledge based systems
complex systems
multiple types
machine translation system