Sign in
On Specifications, Subset Types and Interpretation of Proposition in Type Theory.
Anne Salvesen
Published in:
BIT (1992)
Keyphrases
</>
multiple types
theoretical framework
high level
real time
computational model
information theory
formal specification
formal descriptions
genetic algorithm
optimal solution
relational databases
control flow