2 citations · 4 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.CT2020★ 1 cited
Quantifier completions, choice principles and applications
Davide Trotta, Matteo Spadetto
We contribute to the knowledge of the quantifier completions and their applications by using the language of doctrines. This algebraic presentation allows us to properly analyse th…
cs.LO2020
Compositional theories for host-core languages
Davide Trotta, Margherita Zorzi
Linear type theories, of various types and kinds, are of fundamental importance in most programming language research nowadays. In this paper we describe an extension of Benton's L…