On quasi-interpretations, blind abstractions and implicit complexity

DOI10.1017/S0960129511000685zbMath1288.68078MaRDI QIDQ2909730

Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen

Publication date: 6 September 2012

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)