Ahmed, A., Benton, N., Hofmann, M., Morrisett, G., 2008. 08061 Abstracts Collection – Types, Logics and Semantics for State.. https://doi.org/10.4230/dagsemproc.08061.1