Used together with:
set
(1)
non
(1)
construct
(1)
simplici
(1)
Stem
kan$ (
all stems
)
1 papers:
TLCA-2015-BezemCP
#set
Non-Constructivity in Kan Simplicial Sets (
MB
,
TC
,
EP
), pp. 92–106.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.