Dependently Typed Programming Based on Automated Theorem Proving.

Alasdair Armstrong Simon Foster Georg Struth

Published in: MPC (2012)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
higher order
programming language
lambda calculus
inference rules
database systems
logic programs
answer sets
programming environment
artificial intelligence
fuzzy sets
computer programs
computer programming