An Improved System of Intersection Types for Explicit Substitutions.

Daniel J. Dougherty Stéphane Lengrand Pierre Lescanne

Published in: IFIP TCS (2002)

Keyphrases

real time
data sets
information retrieval
image sequences
multi agent
pairwise