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.
This doesn’t really work, as the entry “finite type” currently has no type-theoretic content. Maybe we need to rename that entry to “object of finite type”.
[ edit: I did rename now, and made finite type a disambiguation page. ]
added publication data for this item:
1 to 6 of 6