Floris van Doorn

6 papers and 37 indexed citations i.

Floris van Doorn has authored 6 papers that have received a total of 37 indexed citations. This includes 4 papers in Mathematical Physics, 3 papers in Artificial Intelligence and 3 papers in Geometry and Topology. The topics of these papers are Homotopy and Cohomology in Algebraic Topology (4 papers), Logic, programming, and type systems (3 papers) and Logic, Reasoning, and Knowledge (2 papers). Floris van Doorn is often cited by papers focused on Homotopy and Cohomology in Algebraic Topology (4 papers), Logic, programming, and type systems (3 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in United States, France and United Kingdom. Floris van Doorn's co-authors include Freek Wiedijk, Jeremy Avigad, Herman Geuvers and Egbert Rijke and has published in prestigious journals such as and .