Similar repositories to wilbowma/dissertation:

• wilbowma/dissertation github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tuvtran/project-based-learning github similar
• lambdabetaeta/modal-logics github similar
• laMudri/quantitative github similar
• ayberkt/simplc github similar
• groupoid/anders github similar
• bobatkey/system-f-parametricity-model github similar
• sstucki/pts-agda github similar
• jespercockx/reflection-tutorial github similar
• pigworker/potato github similar
• RobertHarper/hott-notes github similar
• andgate/type-theory-compiler github similar
• kthielen/stlcc github similar
• Lysxia/coq-recursion-schemes github similar
• jespercockx/ohrid19-agda github similar
• mit-plv/reification-by-parametricity github similar
• WhatisRT/meta-cedille github similar
• neel-krishnaswami/linearml github similar
• JacquesCarette/finally-tagless github similar
• fsestini/tt-in-cubical github similar
• joom/direct-reflection-for-free github similar
• gallais/agda-sizedIO github similar
• david-christiansen/epigram1 github similar
• gallais/generic-syntax github similar
• ayberkt/sequents github similar
• LightAndLight/parametricity-proofs github similar
• omega12345/RefactorAgda github similar
• ziman/itt github similar
• jespercockx/tensors github similar
• metaborg/linear.agda github similar
• JoeyEremondi/lambda-pi-constraint github similar
• jonsterling/lcf-sequent-calculus-example github similar
• gallais/thesis github similar
• danelahman/POPL18 github similar
• kcsmnt0/proof-trees github similar
• fsestini/nbe-weak-stlc github similar
• mortberg/TypeTheory github similar
• UlrikBuchholtz/nominal-hott github similar