Abstract Data Types and Type Theory: Theories as Types.

Ruy J. G. B. de Queiroz T. S. E. Maibaum

Published in: Math. Log. Q. (1991)

Keyphrases

abstract data types
type checking
data types
programming language
object oriented databases
relational database systems
data abstraction
spatial aggregation
computational models
probability theory
preprocessing
data model
general purpose
database design