Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 3 of 3
Where might we add the recent reference
I guess we could add it to categorical model of dependent types, but would that merit a new section on diagram models?
Hmm, maybe we need a page on inverse diagram model of type theory?
Can’t think of anything better, so I started that.
1 to 3 of 3