A proof-theoretic characterization of the basic feasible functionals

From MaRDI portal
Publication:706620

DOI10.1016/j.tcs.2004.08.009zbMath1086.03044OpenAlexW1973440844MaRDI QIDQ706620

Thomas Strahm

Publication date: 9 February 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.08.009




Related Items (7)



Cites Work




This page was built for publication: A proof-theoretic characterization of the basic feasible functionals