A Calculus for Overloaded Functions with Subtyping

Giuseppe Castagna Giorgio Ghelli Giuseppe Longo

Published in: Inf. Comput. (1995)

Keyphrases

neural network
three dimensional
image sequences
data sets
databases
artificial intelligence
case study
multi agent
model checking
automated deduction