Dependently Typed Programming based on Automated Theorem Proving
Alasdair ArmstrongSimon FosterGeorg StruthPublished in: CoRR (2011)
Keyphrases
- automated theorem proving
- theorem prover
- theorem proving
- answer set programming
- classical logic
- higher order
- programming environment
- programming language
- lambda calculus
- object oriented programming
- development environment
- first order logic
- logic programming
- knowledge base
- software engineering
- artificial intelligence
- database