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