Second International Workshop on Implicit Computational Complexity-2000 (ICC'00).