Author Info
Name
Affiliation
Papers
SEAN WALSH
university of california irvine
6
Collaborators
Citations 
PageRank 
18
9
2.65
Referers 
Referees 
References 
40
41
42
Title
Citations
PageRank
Year
The Prehistory of the Subsystems of second-order Arithmetic.10.382017
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction20.472016
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic00.342016
RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES20.582015
LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC00.342014
UK CropNet: a collection of databases and bioinformatics resources for crop plant genomics.40.552000