Videos → Feb 2015 (Volume 58, No. 2)

2015

Hacking Nondeterminism with Induction and Coinduction

Authors Filippo Bonchi and Damien Pous discuss "Hacking Nondeterminism with Induction and Coinduction," their Research Highlights article published in the February 2015 Communications of the ACM (cacm.acm.org/magazines/2015/2/182642).