On simple type theory:
On formal theory of relative monads via virtual equipments:
On higher-order algebraic theories:
Last revised on September 22, 2023 at 13:57:27. See the history of this page for a list of all contributions to it.