Higher-Order Algebra with Transfinite Types.

Published in: HOA (1995)

Keyphrases

higher order
artificial intelligence
natural images
high order
data model
mobile robot
real time
pairwise
data structure
query language