Proof Principles for Datatypes with Iterated Recursion.

Ulrich Hensel Bart Jacobs

Published in: Category Theory and Computer Science (1997)

Keyphrases

data types
data model
user defined
data structure
database systems
design principles
database management systems
complex objects
theoretical framework
linear logic
theorem proving
theorem prover
data mining algorithms
real time
building blocks
deductive databases
nearest neighbor
artificial intelligence
databases