Peter Freyd

32 papers and 1.7k indexed citations i.

Peter Freyd has authored 32 papers that have received a total of 1.7k indexed citations. This includes 8 papers in Mathematical Physics, 8 papers in Geometry and Topology and 7 papers in Artificial Intelligence. The topics of these papers are Homotopy and Cohomology in Algebraic Topology (8 papers), Logic, programming, and type systems (5 papers) and Logic, Reasoning, and Knowledge (4 papers). Peter Freyd is often cited by papers focused on Homotopy and Cohomology in Algebraic Topology (8 papers), Logic, programming, and type systems (5 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in United States, Canada and United Kingdom. Peter Freyd's co-authors include David N. Yetter, Andre Scedrov, Peter W. O’Hearn, R. D. Tennent and John Power and has published in prestigious journals such as Proceedings of the National Academy of Sciences, American Mathematical Monthly and Advances in Mathematics.