Steve Awodey

32 papers and 477 indexed citations i.

Steve Awodey has authored 32 papers that have received a total of 477 indexed citations. This includes 21 papers in Artificial Intelligence, 16 papers in Mathematical Physics and 14 papers in Geometry and Topology. The topics of these papers are Logic, Reasoning, and Knowledge (16 papers), Homotopy and Cohomology in Algebraic Topology (15 papers) and Logic, programming, and type systems (14 papers). Steve Awodey is often cited by papers focused on Logic, Reasoning, and Knowledge (16 papers), Homotopy and Cohomology in Algebraic Topology (15 papers) and Logic, programming, and type systems (14 papers) and collaborates with scholars based in United States, United Kingdom and Denmark. Steve Awodey's co-authors include Alan Richardson, Michael A. Warren, Nicola Gambino, Kristina Sojakova and Erich H. Reck and has published in prestigious journals such as Journal of the ACM, Mathematical Proceedings of the Cambridge Philosophical Society and Synthese