The following references are available electronicly:
Bellantoni, Niggl, Schwichtenberg.
Higher Type Recursion, Ramification and Polynomial Time
Bloch.
Function-algebraic Characterizations of Log and Polylog Parallel Time
Hofmann.
Programming languages capturing complexity classes
Hofmann.
Safe recursion with higher types and BCK algebra
Leivatn, Marion.
A characterization of Alogtime...
$Date: 2010/10/08 10:23:26 $