페르 마틴뢰프

페르 마틴뢰프(Per Martin-Löf)는 스웨덴의 논리학자, 철학자이다.

업적

• 마틴뢰프 타입 이론