Steffen Lempp

• Recursion Theory and Complexity
• Unity of Logic and Computation