3 papers
math.CT2024
Skolem, Gödel, and Hilbert fibrations
Davide Trotta, Jonathan Weinberger, Valeria de Paiva
Grothendieck fibrations are fundamental in capturing the concept of dependency, notably in categorical semantics of type theory and programming languages. A relevant instance are D…
cs.IR2023
Extracting Blockchain Concepts from Text
Rodrigo Veiga, Markus Endler, Valeria de Paiva
Blockchains provide a mechanism through which mutually distrustful remote parties can reach consensus on the state of a ledger of information. With the great acceleration with whic…
cs.LO2021
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Ugo Dal Lago, Valeria de Paiva
This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications,…