Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Carlos Olarte
Researcher
PaperA Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent SystemsAuthorship / preprint / 2021PaperA Subexponential View of Domains in Session TypesAuthorship / preprint / 2022PaperA Proof Theoretic Study of Soft Concurrent Constraint ProgrammingAuthorship / preprint / 2014PaperAbstract Interpretation of Temporal Concurrent Constraint ProgramsAuthorship / preprint / 2013PaperTowards a Unified Framework for Declarative Structured CommunicationsAuthorship / preprint / 2010PaperHybrid and Subexponential Linear Logics Technical ReportAuthorship / preprint / 2016