Search filters

List of works by Luís Caires

Behavioral Polymorphism and Parametricity in Session-Based Communication

article by Luís Caires et al published 2013 in Lecture Notes in Computer Science

Core Calculi for Service-Oriented Computing

Linear Logical Relations for Session-Based Concurrency

article

Linear logical relations and observational equivalences for session-based concurrency

article

Linearity, Control Effects, and Behavioral Types

Multiparty Session Types Within a Canonical Binary Theory, and Beyond

SLWV — A theorem prover for logic programming

scientific article published in 1993

Tools and Verification

scientific article published in 2011

Type-Based Access Control in Data-Centric Systems

Paulina is supported by:

About Paulina

Help