9 citations · 22 across the 11 of their papers we have counts for
4 papers · 1 filter
Domain-Aware Session Types (Extended Version)
Luís Caires, Jorge A. Pérez, Frank Pfenning +1
We develop a generalization of existing Curry-Howard interpretations of (binary) session types by relying on an extension of linear logic with features from hybrid logic, in partic…
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Bernardo Toninho, Nobuko Yoshida
This work exploits the logical foundation of session types to determine what kind of type discipline for the pi-calculus can exactly capture, and is captured by, lambda-calculus be…
Constructive Provability Logic
Robert J. Simmons, Bernardo Toninho
We present constructive provability logic, an intuitionstic modal logic that validates the Löb rule of Gödel and Löb's provability logic by permitting logical reflection over prova…
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho, Luís Caires
Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques nee…