Yuxin Deng, Yuan Feng. Bisimulations for probabilistic linear lambda calculi. In Frédéric Mallet, Min Zhang 0002, Eric Madelaine, editors, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. pages 1-8, IEEE, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.