Swedish logician who worked on dependent type theory, formal topology, and constructive foundations of mathematics.
Contributed to the development of type-theoretic foundations for constructive mathematics, particularly Martin-Löf type theory and its applications to formal topology and setoids.
No recorded minds influenced.
Discussing
Ask anything about Erik Palmgren — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.