notes
(
index
)
calculus of inductive constructions
Links to this note
programming languages