Principal Typing in a forall-and-Discipline.

Ines Margaria Maddalena Zacchi

Published in: J. Log. Comput. (1995)

Keyphrases

information systems
computer science
special case
database
databases
decision making
multi agent systems
probabilistic model
software engineering