The Calculus of Inductive Constructions [pdf]

 (cs.uoregon.edu)

1 points | by whoishiding 13 hours ago ago

No comments yet.