Statistics
Publications
1
Citations
17
H-Index
1
Active since
2011
Affiliations
Nagoya University(Current)
Sho Suzuki is an author at Nagoya University specializing in type systems, computability, and termination of higher-order rewriting.
Publications per year
2011–2011
1
1
1–1 of 1