modal-type-theory

There are 0 repository under modal-type-theory topic.

• jonsterling / agda-calf

  A cost-aware logical framework, embedded in Agda.

  logical-frameworkagdacostcomplexitymodal-type-theory
  Language:Agda 51

• mtt-lang / mtt-lang

  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web

  modal-type-theorymodal-logicocamltutorial
  Language:OCaml 40

• damhiya / MetaLambda

  metaprogrammingmulti-stage-programminghaskelllambda-calculusprogramming-languagemodal-type-theoryadjoint-type-theorycontextual-modal-type-theorymodal-logic
  Language:Haskell 8