Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Damato, Stefania"'
Containers capture the concept of strictly positive data types in programming. The original development of containers is done in the internal language of Locally Cartesian Closed Categories (LCCCs) with disjoint coproducts and W-types. Although it is
Externí odkaz:
http://arxiv.org/abs/2409.02603
