Search code examples
Pattern matching in Observational Type Theory...
haskellagdagadttype-theoryobservational-type-theory
Read More
Self-representation and universes in OTT...
agdadependent-typetype-theoryobservational-type-theory
Read More
Provable coherence in OTT...
agdadependent-typetype-theoryobservational-type-theory
Read More
BackNext