Presheaf Models for the pi-Calculus.

Gian Luca Cattani Ian Stark Glynn Winskel

Published in: Category Theory and Computer Science (1997)

Keyphrases

prior knowledge
data sets
databases
real world
bayesian networks
probabilistic model
computational models
video sequences
expert systems
probability distribution
d objects
parameter estimation
complex systems
experimental data
statistical models
accurate models