Lambda Calculus and Music Calculi.

Yann Orlarey Dominique Fober Stéphane Letz Mark Bilton

Published in: ICMC (1994)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
complex objects
higher order
general purpose
program understanding
database
open source
wordnet
artificial intelligence