Statistics
Publications
1
Citations
57
H-Index
1
Active since
2003
Affiliations
University of Edinburgh(Current)
Harish Devarajan is an author at University of Edinburgh specializing in natural sciences, proof complexity, and completeness.
Publications per year
2003–2003
1
1
Full completeness of the multiplicative linear logic of Chu spaces
Harish Devarajan, Denise Hughes, Gordon Plotkin et al. · 2003 · 57 citations
1–1 of 1