lambda-cube

There are 0 repository under lambda-cube topic.

• groupoid / henk

  🧊 Чиста система з всесвітами

  pureptslambda-cubeerlangtermination
  Language:Erlang 144

• steshaw / lennart-lambda-cube

  Lennart Augustsson's lamda cube

  dependent-typeslambda-cubeprogramming-languagesprogramming-language-theory
  Language:Haskell 10

• aatxe / cube.idr

  An implementation of the Lambda Cube in Idris.

  idrislambda-cubelambda-calculustoy-language
  Language:Idris 7
• Lambda-Calculi-OCaml

  rudynicolop / Lambda-Calculi-OCaml

  Lambda Calculus implementations in OCaml.

  lambda-calculuslambda-cubeocamleducationalsystem-fsystem-f-omega
  Language:OCaml 4

• rudynicolop / Lambda-Calculi-Coq

  Lambda-Calculi implementations & proofs in Coq

  lambda-calculuslambda-cubecoqsystem-f
  Language:Coq 2

• cannor147 / itmo-tt

  Type Theory course at ITMO University

  type-theoryidrislambda-cubelambda-calculus
  Language:Java 1

• hargoniX / lean-cube

  Theories in Lean for various calculi from the lambda cube.

  lean4formal-verificationlambda-calculuslambda-cube
  Language:Lean 1