The Implicit Calculus of Constructions.

Alexandre Miquel

Published in: TLCA (2001)

Keyphrases

web services
database
machine learning
decision making
case study
database systems
automated theorem proving
natural deduction
algebraic structure
provably correct
computer algebra