Author: Urs Format: MarkdownItexStarting this, for the moment just as a bare disambiguation page. But it might make sense to have this here be the entry about finite types in the sense of type theory, and keep the list currently here under "Related entries"
<a href="https://ncatlab.org/nlab/revision/finite+type/1">v1</a>, <a href="https://ncatlab.org/nlab/show/finite+type">current</a>
Starting this, for the moment just as a bare disambiguation page. But it might make sense to have this here be the entry about finite types in the sense of type theory, and keep the list currently here under “Related entries”