Algebra and Logic

Article
Bellantoni,S;Oitavem,I
THEORETICAL COMPUTER SCIENCE
Workshop on Implicit Computational Complexity

2004
318
44958
57-78
10.1016/j.tcs.2003.10.021