Programming with Proofs: A Second Order Type Theory.

Published in: ESOP (1988)

Keyphrases

higher order
theoretical framework
theoretical basis
general theory
case study
programming language
computer programs
programming environment
equational theories
genetic algorithm
search engine
formal theory