Boolean-valued semantics for the stochastic Lambda-calculus

Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana Scott

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

9 Citations (Scopus)

1 results

Filter

Finished
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. (PI) & Larsen, K. G. (PI)
01/11/2015 → 31/10/2019
Project: Research