calculus-of-constructions

There are 0 repository under calculus-of-constructions topic.

• lambda-11235 / ttyped

  A simple dependently typed language based on the Calculus of Constructions.

  calculus-of-constructionsintuitionisticmartin-loftype-theory
  Language:Haskell 13

• AnyDSL / thorin2-experiment

  The Higher-Order Intermediate Representation

  lambda-calculusdependent-typescalculus-of-constructions
  Language:C++ 11

• justinfargnoli / koi

  Compiler for the Calculus of Inductive Constructions

  compilercalculus-of-inductive-constructionscalculus-of-constructionstype-systemllvmllvm-frontendrust
  Language:Rust 3

• bridgekat / calculus-of-constructions

  Lean 3 formalisation of bare-bones CC_ω.

  calculus-of-constructionsleantype-theory
  Language:Lean 0