Higher-order interpretations and program complexity

DOI10.1016/j.ic.2015.12.008zbMath1339.68037MaRDI QIDQ276254

Patrick Baillot, Ugo Dal Lago

Publication date: 3 May 2016

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2015.12.008

zbMATH Keywords

term rewriting systems; type systems; lambda-calculus; implicit computational complexity

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q42: Grammars and rewriting systems

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