Filtros de búsqueda

Lista de obras de Bernardo Toninho

Behavioral Polymorphism and Parametricity in Session-Based Communication

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

Combining behavioural types with security analysis ⬇️

Featherweight go

artículo científico publicado en 2020

Intuitionistic Metric Temporal Logic

artículo científico publicado en 2023

Linear Logical Relations for Session-Based Concurrency

article

Linear logical relations and observational equivalences for session-based concurrency

article

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda