Funder
Vetenskapsrådet
Knut och Alice Wallenbergs Stiftelse
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference13 articles.
1. Exact bounds for lengths of reductions in typed λ-calculus;Beckmann;J. Symb. Log.,2001
2. Herbrand's theorem as higher order recursion;Afshari;Ann. Pure Appl. Log.,2020
3. Quantitative game semantics for linear logic;Dal Lago,2008
4. A semantic measure of the execution time in linear logic;de Carvalho;Theor. Comput. Sci.,2011
5. Non-idempotent intersection types and strong normalisation;Lengrand;Log. Methods Comput. Sci.,2013