Matches in DBpedia 2016-04 for { ?s ?p "Andrej Bauer (born May 11, 1971) is a Slovenian mathematician at the University of Ljubljana where he holds the title Professor of Computational Mathematics. He does research in logic, constructive and computable mathematics, category theory, and semantics of programming languages. He got his Ph.D."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- Andrej_Bauer comment "Andrej Bauer (born May 11, 1971) is a Slovenian mathematician at the University of Ljubljana where he holds the title Professor of Computational Mathematics. He does research in logic, constructive and computable mathematics, category theory, and semantics of programming languages. He got his Ph.D.".
- Q12784531 comment "Andrej Bauer (born May 11, 1971) is a Slovenian mathematician at the University of Ljubljana where he holds the title Professor of Computational Mathematics. He does research in logic, constructive and computable mathematics, category theory, and semantics of programming languages. He got his Ph.D.".