13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland
Published in: TLCA (2015)
Keyphrases
- lecture notes
- lambda calculus
- computer science
- lecture notes in artificial intelligence
- programming language
- predicate calculus
- higher order
- international symposium
- program understanding
- sequent calculi
- artificial intelligence
- databases
- database query languages
- machine learning
- qualitative spatial and temporal reasoning
- qualitative spatial reasoning
- website
- database