Similar repositories to L-TChen/PCF-Nominal:

• L-TChen/PCF-Nominal github similar
• acallesalda/setform github similar
• josh-hs-ko/FLOLAC-14 github similar
• L-TChen/FiniteSets github similar
• zaklogician/linear-constructive github similar
• L-TChen/ModalTypeTheory github similar
• AndrasKovacs/stlc-nbe github similar
• sstucki/pts-agda github similar
• jespercockx/popl19-tutorial github similar
• gallais/agda-presburger github similar
• L-TChen/Type-Theory github similar
• wilbowma/cic-redex github similar
• favonia/hdtt2020-notes github similar
• sstucki/system-f-agda github similar
• jsiek/gradual-typing-in-agda github similar
• jsiek/abstract-binding-trees github similar
• pedagand/typechecker-evolution github similar
• scmu/aopa github similar
• alhassy/gentle-intro-to-reflection github similar
• martinescardo/TypeTopology github similar
• banacorn/agda-mode-vscode github similar
• RedPRL/redtt github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• RedPRL/cooltt github similar
• wilbowma/cur github similar
• jameshaydon/lawvere github similar
• EgbertRijke/HoTT-Intro github similar
• Andromedans/andromeda github similar
• UniMath/SymmetryBook github similar
• the-little-prover/j-bob github similar
• AndrasKovacs/smalltt github similar
• mortberg/cubicaltt github similar
• the-little-typer/pie github similar
• michaelt/martin-lof github similar
• sdiehl/kaleidoscope github similar
• hzlmn/haskell-must-watch github similar
• quchen/articles github similar
• plfa/plfa.github.io github similar
• andrejbauer/plzoo github similar
• f2etw/jobs github similar