What is the fine-grained topic of the following text: Soon I noted that a few of them were worth gold, and we continued with what is known as the type theory the Stockholm logician Per Martin-löf had invented and that I’d presented in detail in the seminar. Only return the topic.
Per Martin-löf's Type Theory