vix.ing · top · new · best · stats · spec

Almeida, Bernardo

  1. Polymorphic Lambda Calculus with Context-Free Session Types
    2021/06/12 by Almeida, Bernardo, Mordido, Andreia, Thiemann, Peter +1 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)