bibliographer - Vasco T. Vasconcelos

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Simple grammar bisimilarity, with an application to session type equivalence Diogo Poças Vasco T. Vasconcelos [github]

Language primitives and type discipline for structured communication-based programming Kohei Honda Vasco T. Vasconcelos Makoto Kubo [github]

Foundations of Session Types and Behavioural Contracts Hans Hüttel Ivan Lanese Vasco T. Vasconcelos Luís Caires Marco Carbone Pierre-Malo Deniélou Dimitris Mostrous Luca Padovani António Ravara Emilio Tuosto Hugo Torres Vieira Gianluigi Zavattaro [github]

Context-free session types Peter Thiemann Vasco T. Vasconcelos [github]

Label-dependent session types Peter Thiemann Vasco T. Vasconcelos [github]

Behavioral Types in Programming Languages Davide Ancona Viviana Bono Mario Bravetti Joana Campos Giuseppe Castagna Pierre-Malo Deniélou Simon J. Gay Nils Gesbert Elena Giachino Raymond Hu Einar Broch Johnsen Francisco Martins Viviana Mascardi Fabrizio Montesi Rumyana Neykova Nicholas Ng Bono Luca Padovani Vasco T. Vasconcelos Nobuko Yoshida [github]

Library Size: 13G (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]