Lineal: A linear-algebraic Lambda-calculus.

Pablo Arrighi Gilles Dowek

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

lambda calculus
programming language
higher order
predicate calculus
database query languages
artificial intelligence
natural language