Partial functions in constructive formal theories.

Robert L. Constable

Published in: Theoretical Computer Science (1983)

Keyphrases

formal models
theoretical framework
basis functions
formal model
genetic algorithm
formal methods
information retrieval
artificial intelligence
image processing
computational models
domain theory
causal reasoning