Pages that link to "Calculus of constructions"

The following pages link to Calculus of constructions:

Displaying 26 items.

• Lambda calculus (links)
• Type theory (links)
• Natural deduction (links)
• Foundations of mathematics (links)
• Curry–Howard correspondence (links)
• Intuitionistic type theory (links)
• List of mathematical logic topics (links)
• Constructive proof (links)
• Typed lambda calculus (links)
• Rocq (links)
• List of functional programming topics (links)
• Calculus of Constructions (redirect page) (links)
  • Total functional programming (links)
• Lambda cube (links)
• Per Martin-Löf (links)
• Dependent type (links)
• COC (links)
• Meta-circular evaluator (links)
• Normal form (abstract rewriting) (links)
• Matita (links)
• Calculus of inductive constructions (redirect page) (links)
  • Type theory (links)
  • Dependent type (links)
  • CIC (links)
  • User:Chalst/logic-watchlist (links)
• Calculus of Inductive Constructions (redirect page) (links)
  • Generalized algebraic data type (links)
• Pure type system (links)
• Gérard Huet (links)
• Talk:First-class function (links)
• User:Chalst/logic-watchlist (links)
• Wiki143:WikiProject Mathematics/List of mathematics articles (C) (links)