Axiomatization of Calculus of Constructions.

Published in: Constructivity in Computer Science (1991)

Keyphrases

situation calculus
computer algebra
complete axiomatization
general theory
provably correct
image processing
formal language
automated deduction
sequent calculus
real time
artificial intelligence
social networks
description logics
algebraic structure
timed automata