Zobrazeno 1 - 1
of 1
pro vyhledávání: '"18N45 (Primary) 18A15, 03B38 (Secondary)"'
Autor:
Coraglia, Greta, Emmenegger, Jacopo
Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each type a set of terms of said type. This is the case for categories wit
Externí odkaz:
http://arxiv.org/abs/2312.14600
