Sign In

Communications of the ACM

Videos


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


2017

--

--

--

--

--

2014

--

--

--

--

--

Sign In for Full Access
» Forgot Password? » Create an ACM Web Account