Andreia Mordido

Identifiers

• name variant Andreia Mordido 0.60 · backfill

Papers (1)

1. Deadlock-free Context-free Session Types cs.PL · 2025 · author #1

Mentions

• 2506.20356 #1 · arxiv_oai · confidence 0.70 Andreia Mordido

Frequent Coauthors

• Jorge A. P\'erez 1 shared papers