### Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta$

Fernando Ferreira
Source: Bull. Symbolic Logic Volume 8, Number 4 (2002), 534-535.
First Page:

#### Reviewed Works:

Thomas Strahm, Polynomial Time Operations in Explicit Mathematics.

Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta$.

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.

Permanent link to this document: http://projecteuclid.org/euclid.bsl/1182353929
Digital Object Identifier: doi:10.2178/bsl/1182353929