9 citations · 22 across the 11 of their papers we have counts for
1 paper · 1 filter
Luís Caires, Bernardo Toninho
We build on a fine-grained analysis of session-based interaction as provided by the linear logic typing disciplines to introduce the SAM, an abstract machine for mechanically execu…