Bernardo Toninho

Linear logic propositions as session types

Frank Pfenning, Bernardo Toninho · Mathematical Structures in Computer Science · 2014 · 135 citations

Computing, Computer Science, Formal Methods +9

Dependent session types via intuitionistic linear type theory

Bernardo Toninho, Frank Pfenning · 2011 · 81 citations

Computing, Computer Science, Contracts +16

A static verification framework for message passing in Go using behavioural types

Julien Lange, Nicholas Ng, Bernardo Toninho et al. · 2018 · 71 citations · Full text

Computing, Computer Science, Message Passing +15

Fencing off go: liveness and safety for channel-based programming

Julien Lange, Nicholas Ng, Bernardo Toninho et al. · 2016 · 62 citations · Full text

Computing, Computer Engineering, Computer Science +17

Linear logical relations and observational equivalences for session-based concurrency

Jorge A. Pérez, Frank Pfenning, Bernardo Toninho · Information and Computation · 2014 · 55 citations · Full text

Computing, Computer Science, Computer Systems +15