Development Transformation Based on Higher Order Type Theory.

Jianguo Lu Jiafu Xu

Published in: Constructivity in Computer Science (1991)

Keyphrases

higher order
database
decision support
databases
software engineering
knowledge based systems
theoretical developments
pairwise
markov random field
information processing
theoretical framework
high order
rapid development
theoretical basis
low order
cognitive development