Follow
I am having a great time with calculus of computation. It reads like a math logic book, but there is a solid proof system that comes as a companion to it.
I am having a great time with calculus of computation. It reads like a math logic book, but there is a solid proof system that comes as a companion to it.