Higher-Order Interpretations and Program Complexity
From MaRDI portal
Publication:4649538
DOI10.4230/LIPIcs.CSL.2012.62zbMath1252.68060OpenAlexW4393967107MaRDI QIDQ4649538
Publication date: 22 November 2012
Full work available at URL: https://hal.archives-ouvertes.fr/hal-00798298
Functional programming and lambda calculus (68N18) Complexity of computation (including implicit computational complexity) (03D15)
Related Items
Higher-order interpretations and program complexity, On the Versatility of Open Logical Relations, Unnamed Item, Characterizing polynomial time complexity of stream programs using interpretations