Login
中文
Mitchell Wand
HIndex: 28
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Model of computation
Semantics
First-order logic
Proof theory
Calculus
Type inference
Data-flow analysis
Top-down and bottom-up design
Logic
Object-oriented programming
Scheme
Theory of computation
Operational semantics
Mathematical analysis
Lambda calculus
Higher-order logic
Programming language
Computer Science
Correctness
Data structure
Denotational semantics
Separation logic
Compiler
Computability
Artificial intelligence
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Model of computation
Semantics
First-order logic
Proof theory
Calculus
Type inference
Data-flow analysis
Top-down and bottom-up design
Logic
Object-oriented programming
Scheme
Theory of computation
Operational semantics
Mathematical analysis
Lambda calculus
Higher-order logic
Programming language
Computer Science
Correctness
Data structure
Denotational semantics
Separation logic
Compiler
Computability
Artificial intelligence
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Mitchell Wand
Indiana University
135
Mitchell Wand
University Of Bonn
1
×
Share to your followers
Submit