Dependently Typed Records for Representing Mathematical Structure.

Published in: TPHOLs (2000)

Keyphrases

neural network
structural information
higher order
real time
data sets
data mining
genetic algorithm
artificial intelligence
e learning
mobile robot
graphical models
structural properties
record linkage