Home Up Previous Random
Graph rewriting (demo)
Related application with Sean Wu: individual-based stochastic models for epidemiology
Computation and theorem proving with string diagrams.