Forum:Calculus of Inductive Constructions

So, this is the only book I've found on CiC:

Download (NOTE: you may have to convert it to PDF using this)

So, yeah, discussion, perhaps? (cool how every two consecutive words are separated by a comma) King2218 (talk) 16:53, July 18, 2014 (UTC)