Similar repositories to csgordon/guarded-recursion:

• csgordon/guarded-recursion github similar
• rrnewton/linear-cursors github similar
• nachivpn/coherence github similar
• cj-xu/ContinuityType github similar
• amintimany/OPLSS github similar
• cj-xu/GentzenTrans github similar
• jozefg/fibrational-semantics github similar
• gallais/proof-search-ILLWiL github similar
• nachivpn/syntactic-ni github similar
• michaelsproul/dblib-linear github similar
• DSLsofMath/tfpie2015 github similar
• elpinal/focused-modules github similar
• nachivpn/nbe-stlc github similar
• jonsterling/agda-synthetic-domain-theory github similar
• FFaissole/Valuations github similar
• webyrd/declarative-semantics github similar
• casvdrest/composable-semantics github similar
• maxsnew/virtual-equipments github similar
• andrejbauer/miniLCF github similar
• alhassy/org-agda-mode github similar
• RobertHarper/hott-notes github similar
• ak3n/abt-zoo github similar
• mietek/imla2017 github similar
• jonsterling/lcf-sequent-calculus-example github similar
• jkoppel/thermometer-continuations github similar
• coq-community/semantics github similar
• lambdabetaeta/modal-logics github similar
• FrozenWinters/SbE github similar
• robrix/Manifold github similar
• ualib/ualib.github.io github similar
• heades/System-F-Coq github similar
• andreasabel/ipl github similar
• joom/proof-tree-builder github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• UCSD-PL/nano-smt github similar
• yigitozkavci/typelevel-dijkstra-sp github similar
• andreasabel/strong-normalization github similar
• Twinside/svg-tree github similar
• Zeta611/simplebnf github similar
• andreasabel/helf github similar