Ansten Klev

Ansten Klev is a researcher in the Institute of Philosophy at the Czech Academy of Sciences in Prague, where has been since 2015. Before moving to Prague, he obtained a PhD in philosophy under G�ran Sundholm at Leiden University. Most of his work concerns philosophical aspects of Per Martin-L�f's constructive type theory. A topic of special interest, on which he has published a number of articles, has been the treatment of identity within this type theory. His other research interests...See more

Ansten Klev is a researcher in the Institute of Philosophy at the Czech Academy of Sciences in Prague, where has been since 2015. Before moving to Prague, he obtained a PhD in philosophy under G�ran Sundholm at Leiden University. Most of his work concerns philosophical aspects of Per Martin-L�f's constructive type theory. A topic of special interest, on which he has published a number of articles, has been the treatment of identity within this type theory. His other research interests include the philosophies of logic and mathematics more broadly, as well as the words and works of Rudolf Carnap, Richard Dedekind, Gottlob Frege, and Edmund Husserl. See less