Anders Martin-L�f (original) (raw)

Anders Martin-L�f is a Swedish logician, responsible for a pioneering definition of randomness. He had a profound influence on the field of Kolmogorov complexity or algorithmic information theory. Today he is a professor at the Department of Mathematics of Stockholm University.

He has also defined an influential system of type theory, including dependent types.

External links:

• Home page