Changing Data Structures in Type Theory: A Study of Natural Numbers.

Nicolas Magaud Yves Bertot

Published in: TYPES (2000)

Keyphrases

data structure
theoretical framework
grounded theory
real time
study proposes
search engine
database
computer vision
web services
multiscale
multi agent
empirical studies
neural network
data types
theoretical foundation
data sets
general theory