Vasconcelos, Vasco T.

1. Polymorphic Lambda Calculus with Context-Free Session Types
   2021/06/12 by Almeida, Bernardo, Mordido, Andreia, Thiemann, Peter +1 · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. System F^μ_ω with Context-free Session Types
   2023/01/20 by Diana Costa, Costa, Diana, Andreia Mordido +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Natural Language Processing Techniques #Programming Languages (cs.PL)