Higher order interpretation for higher order complexity

DOI10.29007/1tkwzbMath1403.68032OpenAlexW4251111662MaRDI QIDQ4645740

Emmanuel Hainry, Romain Péchoux

Publication date: 10 January 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/1tkw

zbMATH Keywords

interpretationsbasic feasible functionalshigher-order complexity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

Unnamed Item, Unnamed Item