I have turned the “History” section (due to revisions by Bas Spitters) into a subsection of References (now here), polished-up all the references items and expanded further
cf forum discussion here
]]>added publication data for this item:
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. ]
]]>link to finite types
Anonymous
]]>fix broken link
Weitao Xin
]]>Added reference