Comparing hierarchies of types in models of linear logic.

Paul-André Melliès

Published in: Inf. Comput. (2004)

Keyphrases

linear logic
probabilistic model
artificial intelligence
decision making