Bernardo Toninho

Available identifiers

Publication	Date of Publication	Type
Polymorphic Session Processes as Morphisms	2024-03-14	Paper
Manifest deadlock-freedom for shared session types	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5875401	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5009447	2021-08-04	Paper
On polymorphic sessions and functions. A tale of two (fully abstract) encodings	2019-09-13	Paper
Depending on session-typed processes	2018-07-17	Paper
Fencing off go: liveness and safety for channel-based programming	2017-10-20	Paper
Certifying data in multiparty session types	2017-07-04	Paper
Certifying Data in Multiparty Session Types	2016-08-17	Paper
Linear logic propositions as session types	2016-07-28	Paper
Corecursion and Non-divergence in Session-Typed Processes	2016-06-09	Paper
Combining behavioural types with security analysis	2015-11-10	Paper
Linear logical relations and observational equivalences for session-based concurrency	2014-11-28	Paper
Behavioral Polymorphism and Parametricity in Session-Based Communication	2013-08-05	Paper
Higher-Order Processes, Functions, and Sessions: A Monadic Integration	2013-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4649549	2012-11-22	Paper
Linear Logical Relations for Session-Based Concurrency	2012-06-22	Paper
Functions as Session-Typed Processes	2012-06-22	Paper
Proof-Carrying Code in a Session-Typed Process Calculus	2011-11-22	Paper

This page was built for person: Bernardo Toninho