P. N. Benton
About
P. N. Benton has authored 3 papers that have received a total of 65 indexed citations.
This includes 2 papers in Artificial Intelligence, 1 paper in Computational Theory and Mathematics and 1 paper in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (2 papers), Advanced Algebra and Logic (1 paper) and Logic, Reasoning, and Knowledge (1 paper). P. N. Benton is often cited by papers focused on Logic, programming, and type systems (2 papers), Advanced Algebra and Logic (1 paper) and Logic, Reasoning, and Knowledge (1 paper) and collaborates with scholars based in United Kingdom. P. N. Benton's co-authors include Valeria de Paiva, Gavin Bierman and Martin Hyland and has published in prestigious journals such as Journal of Functional Programming.
In The Last Decade
Fields of papers published by P. N. Benton
Since SpecializationEngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics
Countries citing papers authored by P. N. Benton
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Natasha Batalha Breakdown of academic impact, for papers by F. F. Sui Breakdown of academic impact, for papers by Letícia D. Ferreira Breakdown of academic impact, for papers by Sahar Manavi Breakdown of academic impact, for papers by Gabriela Appel Breakdown of academic impact, for papers by P. A. Maplestone Breakdown of academic impact, for papers by Raquel Pei Chen Chan Breakdown of academic impact, for papers by M. Marseille