Per Erik Rutger Martin-Löf (瑞典语国际音标: /ˈpɛːr ²eː.rɪk ˈrɵt.ɡɛr ˈmaʈ.ʈɪn ˈløːv/; 1942–), 瑞典逻辑学家、哲学家, 直觉主义类型论奠基人.
他的早年研究主要是关于统计学的, 在 1970 年后开始转而研究数理逻辑和类型论.
•
Martin-Löf 类型论