Constructive foundations of analysis and topology.
Recursive functions theory, computability and complexity.