Popular repositories Loading

1. lawvere lawvere Public

   enriched lawvere theories represent operational semantics (baez, williams)

   TeX 2 3

2. stat stat Public

   Structural types for algebraic theories

   2

3. alg-thys alg-thys Public

   Julia 1 1

4. pi4u pi4u Public

   Forked from rchain/pi4u

   A collection of papers about new models and applications of mobile process calculi

   TeX

5. actpngs actpngs Public

6. native-type-theory native-type-theory Public

   Structural type theory of higher order languages

   TeX