Coquand's Calculus of Constructions: A Mathematical Foundation for a Proof Development System.

Jonathan P. Seldin

Published in: Formal Aspects Comput. (1992)

Keyphrases

mathematical foundations
real time
information processing
neural network
software engineering
theorem proving
provably correct
data sets
multimedia
case study
development process
design principles
theorem prover