Author Info
Name
Papers
Collaborators
WIL DEKKERS
2
4
Citations 
PageRank 
Referers 
6
1.19
9
Referees 
References 
3
1
Title
Citations
PageRank
Year
Automata Theoretic Account of Proof Search.10.372015
Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic.50.821998