Interpreting higher computations as types with totality.

Lill Kristiansen Dag Normann

Published in: Arch. Math. Log. (1994)

Keyphrases

image processing
web services
database systems
neural network
real world
artificial intelligence
cooperative
data analysis
significantly higher
high levels