Per Martin-Löf
E320437
UNEXPLORED
Per Martin-Löf is a Swedish logician and philosopher known for developing intuitionistic type theory, a foundational system that underpins much of modern constructive mathematics and type theory in computer science.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Andrei Kolmogorov
→
|
influenced |