Type Preorders and Recursive Terms.

Fabio Alessi Mariangiola Dezani-Ciancaglini

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

case study
multiscale
co occurrence
data sets
database systems
multi agent
data structure