Interactive Programs in Dependent Type Theory.

Peter G. Hancock Anton Setzer

Published in: CSL (2000)

Keyphrases

databases
computer programs
artificial intelligence
programming language
formal theory
data mining
three dimensional
high level
data analysis
computational model
theoretical framework
information theory
data visualization
programming environment
graphical interface