Blar i Department of Informatics på emneord "semantics of simple types"
Viser treff 1-1 av 1
-
Non-Constructivity in Kan Simplicial Sets
(Journal article; Peer reviewed, 2015)We give an analysis of the non-constructivity of the following basic result: if X and Y are simplicial sets and Y has the Kan extension property, then Y X also has the Kan extension property. By means of Kripke countermodels ...