Per Martin-Löf

11 papers and 883 indexed citations i.

Per Martin-Löf has authored 11 papers that have received a total of 883 indexed citations. This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 1 paper in Political Science and International Relations. The topics of these papers are Computability, Logic, AI Algorithms (3 papers), Logic, Reasoning, and Knowledge (2 papers) and Logic, programming, and type systems (2 papers). Per Martin-Löf is often cited by papers focused on Computability, Logic, AI Algorithms (3 papers), Logic, Reasoning, and Knowledge (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in Sweden, United States and Australia. Per Martin-Löf's co-authors include Richard Garner, Vladimir Voevodsky and Steve Awodey and has published in prestigious journals such as The Computer Journal, Compositio Mathematica and Theoria