|
gptkbp:instance_of
|
gptkb:philosopher
gptkb:Mathematician
|
|
gptkbp:bfsLayer
|
6
|
|
gptkbp:bfsParent
|
gptkb:Sigrid_E._Eklund
gptkb:Martin-Löf_type_theory
|
|
gptkbp:awards
|
gptkb:Lindgren_Prize
gptkb:Gödel_Prize
|
|
gptkbp:birth_date
|
1940-07-23
|
|
gptkbp:field
|
gptkb:philosopher
gptkb:Mathematician
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Per Martin-Löf
|
|
gptkbp:inception
|
gptkb:1970
|
|
gptkbp:influenced
|
gptkb:Benedikt_Löwe
gptkb:Martin_Hofmann
|
|
gptkbp:influenced_by
|
gptkb:Hermann_Weyl
gptkb:Alfred_Tarski
|
|
gptkbp:key
|
gptkb:language
gptkb:collection
gptkb:document
formal verification
category theory
dependent types
mathematical logic
type safety
computability theory
program verification
proof theory
formal systems
logical frameworks
type systems
homotopy type theory
constructive logic
computational logic
proof assistants
proof-carrying code
dependent type
constructive type theory
|
|
gptkbp:known_for
|
gptkb:constructive_mathematics
gptkb:typeface
|
|
gptkbp:nationality
|
gptkb:Swedish
|
|
gptkbp:notable_alumni
|
gptkb:Johan_van_Benthem
gptkb:Ulf_Nilsson
Lars Ahlfors
Anders M. Lindström
Mikael de Vries
|
|
gptkbp:research_focus
|
gptkb:philosopher
gptkb:computer_science
category theory
philosophy of mathematics
proof theory
|
|
gptkbp:staff
|
Göran Sundholm
|
|
gptkbp:work_location
|
gptkb:University_of_Uppsala
gptkb:University_of_Stockholm
gptkb:Chalmers_University_of_Technology
|