Translator Disclaimer
December 2002 Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $
Fernando Ferreira
Bull. Symbolic Logic 8(4): 534-535 (December 2002). DOI: 10.2178/bsl/1182353929
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
2 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.8 • No. 4 • December 2002
Back to Top