2 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…