A Kripke model for simplicial sets
Artikel i vetenskaplig tidskrift, 2015
Simplicial set
Constructivity
Kripke model
Författare
M. Bezem
Universitetet i Bergen
Thierry Coquand
Göteborgs universitet
Theoretical Computer Science
0304-3975 (ISSN)
Vol. 574 86-91Ämneskategorier
Data- och informationsvetenskap
DOI
10.1016/j.tcs.2015.01.035