Periodic Reporting for period 1 - HORIP (Higher-Order Rewriting for Intensional Properties of Programs and Circuits)

"Computational complexity is the study of resources -- typically time and space -- needed to solve a problem. For example, the question whether a given string is a palindrome can be resolved in linear time, while the problem of finding the winning move in a chess position...