Login
中文
John C Reynolds
HIndex: 3
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Polymorphism
Second-order logic
Logic
Typed lambda calculus
Preprint
Discrete mathematics
Theory of computation
Type inference
Lambda calculus
Calculus
Functional programming
Finite model theory
Data type
Computability
Semantics
Mathematical analysis
Programming language
Model of computation
Parametric polymorphism
Type system
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Polymorphism
Second-order logic
Logic
Typed lambda calculus
Preprint
Discrete mathematics
Theory of computation
Type inference
Lambda calculus
Calculus
Functional programming
Finite model theory
Data type
Computability
Semantics
Mathematical analysis
Programming language
Model of computation
Parametric polymorphism
Type system
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
John C Reynolds
Grand Valley State University
87
John C Reynolds
University Of Georgia
15
John C Reynolds
Syracuse University
6
John C Reynolds
Halliburton
3
John C Reynolds
Imperial College London
3
John C Reynolds
University Of Bristol
1
John C Reynolds
Bell Labs
1
×
Share to your followers
Submit