Name | Last commit | Last update |
---|---|---|
.. | ||
technical-outline | ||
theory | ||
intensional-syntax.tex | ||
lift-monad-topos-of-trees.pdf | ||
lift-monad-topos-of-trees.tex |
Name | Last commit | Last update |
---|---|---|
.. | ||
technical-outline | ||
theory | ||
intensional-syntax.tex | ||
lift-monad-topos-of-trees.pdf | ||
lift-monad-topos-of-trees.tex |