Characterizing polynomial and exponential complexity classes in elementary lambda-calculus

From MaRDI portal
Publication:1640981

DOI10.1016/j.ic.2018.05.005zbMath1395.68135OpenAlexW2804330401WikidataQ115574493 ScholiaQ115574493MaRDI QIDQ1640981

Patrick Baillot, Erika De Benedetti, Simonetta Ronchi della Rocca

Publication date: 14 June 2018

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

Full work available at URL: https://hal.inria.fr/hal-01015171v2/file/978-3-662-44602-7_13_Chapter.pdf




Related Items (1)



Cites Work


This page was built for publication: Characterizing polynomial and exponential complexity classes in elementary lambda-calculus