Calcul des constructions ( CoC ou CIC ?)

https://fr.m.wikipedia.org/wiki/Calcul_des_constructions

Code

https://hal.inria.fr/hal-01094195/file/CIC.pdf

https://coq.inria.fr/refman/cic.html

https://ncatlab.org/nlab/show/calculus+of+constructions

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.