Bounded Combinatory Logic
From MaRDI portal
Publication:4649550
DOI10.4230/LIPIcs.CSL.2012.243zbMath1252.03029OpenAlexW2288082802MaRDI QIDQ4649550
Paweł Urzyczyn, Boris Düdder, Jakob Rehof, Moritz Martens
Publication date: 22 November 2012
Full work available at URL: https://doi.org/10.4230/lipics.csl.2012.243
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Combinatory logic and lambda calculus (03B40)
Related Items