Author:
Demangeon Romain,Yoshida Nobuko
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference29 articles.
1. Well-founded recursion with copatterns and sized types;Abel;J. Funct. Program.,2016
2. On stratified regions;Amadio,2009
3. Feasible reactivity in a synchronous pi-calculus;Amadio,2007
4. Combining linear logic and size types for implicit complexity;Baillot,2018
5. Types for complexity of parallel computation in pi-calculus;Baillot;ACM Trans. Program. Lang. Syst.,2022