塞尔的哲学理论。
类型论.马丁-洛夫长期从事数理逻辑的研究。在1968年到1969年间，他在美国芝加哥大学担任助理教授期间结识了逻辑学家威廉·霍华德（William Alvin Howard），并共同探讨了后来被称之为柯里-霍华德同构（Curry–Howard correspondence）的论题。马丁-洛夫在1971年完成了他最初的关于类型论研究的初稿，所提出的理论是非直谓性的，将吉拉德（Jean-Yves Girard）的系统F进行了一般化。然而，随后由于吉拉德在研究系统U