An Interactive, Incremental and Portable Computer Algebra System for Lambda-Calculus and Combinatory Logic Based on Video Edition and Rewriting Techniques.
N. GirardPublished in: STACS (1987)
Keyphrases
- computer algebra
- lambda calculus
- computer algebra systems
- theorem prover
- programming language
- predicate calculus
- automated theorem provers
- bayesian networks
- program understanding
- conjunctive queries
- theorem proving
- databases
- general purpose
- machine learning
- first order logic
- open source
- database query languages
- software engineering
- knowledge representation