The Construction of Set-Truncated Higher Inductive Types

Authors :: Weide, N.M. van der
Geuvers, H.
Weide, N.M. van der
Geuvers, H.
Source :: Electronic Notes in Theoretical Computer Science; 261; 280; 1571-0661; 347; ~Electronic Notes in Theoretical Computer Science~261~280~~~1571-0661~~347~~
Publication Year :: 2019
Abstract: Contains fulltext : 219495.pdf (publisher's version ) (Open Access)

Database :: OAIster
Journal :: Electronic Notes in Theoretical Computer Science; 261; 280; 1571-0661; 347; ~Electronic Notes in Theoretical Computer Science~261~280~~~1571-0661~~347~~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1284104872
Document Type :: Electronic Resource