| 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 | ||