Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.

Patrick Baillot Vincent Danos Thomas Ehrhard Laurent Regnier

Published in: LICS (1997)

Keyphrases

probability distribution
computational model
mathematical model
high level
relational databases
probabilistic model
graphical models