Principal Typing Schemes in a Polyadic pi-Calculus.

Vasco Thudichum Vasconcelos Kohei Honda

Published in: CONCUR (1993)

Keyphrases

databases
decision trees
computer algebra
data sets
genetic algorithm
query language
formal language
automated deduction
database query languages
eye typing