advertisement
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).