Programming with Proofs.

Jean-Louis Krivine Michel Parigot

Published in: J. Inf. Process. Cybern. (1990)

Keyphrases

programming language
computer programs
theorem prover
computer science
theorem proving
development environment
data sets
information retrieval
genetic algorithm
object oriented programming
hands on guide
formal proof
formal proofs
automated theorem provers