Propositions and Specifications of Programs in Martin-Löfs Type Theory.

Bengt Nordström Jan M. Smith

Published in: BIT (1984)

Keyphrases

high level
image processing
theoretical basis
general theory
formal theory
recursive programs
learning algorithm
information systems
feature selection
software engineering
theoretical framework
multiple types
control flow