Stem zfc$ (all stems)
2 papers:
- FLOPS-2012-TorontoM
- Computing in Cantor’s Paradise with λ ZFC (NT, JM), pp. 290–306.
- IFL-2010-TorontoM #probability
- From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC (NT, JM), pp. 89–104.