Blar i Department of Informatics på emneord "Constructive Logic"
Viser treff 1-1 av 1
-
Investigating Streamless Sets
(Journal article; Peer reviewed, 2015)In this paper we look at streamless sets, recently investigated by Coquand and Spiwack. A set is streamless if every stream over that set contain a duplicate. It is an open question in constructive mathematics whether the ...