Zobrazeno 1 - 10
of 68 636
pro vyhledávání: '"Higher Order"'
Autor:
Borghi, Riccardo1 (AUTHOR) riccardo.borghi@uniroma3.it
Publikováno v:
Mathematics (2227-7390). Aug2024, Vol. 12 Issue 15, p2330. 17p.
Publikováno v:
Programming Languages and Systems (Proc. APLAS 2024), Oleg Kiselyov (ed.), 2025, Springer Nature Singapore, pp. 3-22
Algebraic theories with dependency between sorts form the structural core of Martin-L\"of type theory and similar systems. Their denotational semantics are typically studied using categorical techniques; many different categorical structures have bee
Externí odkaz:
http://arxiv.org/abs/2412.19946
