LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science Jul 05, 2016-Jul 08, 2016 New York, USA. You can view more information about this proceedi

This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typ

Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a ric