A Categorical Semantics for Inductive-Inductive Definitions

by Thorsten Altenkirch , Peter Morris , Fredrik Nordvall Forsberg , Anton Setzer
Citations:4 - 2 self