Kazuyuki Asada
Scholar

Kazuyuki Asada

Google Scholar ID: CaWtDmwAAAAJ
Tohoku University
programming languagelogicsemanticscategory theoryprogram verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
294
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
1 items
Full Definability in a Profunctorial Model
2026
Cited
0
Resume (English only)
Co-authors
10 total
Naoki Kobayashi
Naoki Kobayashi
The University of Tokyo
Takeshi Tsukada
Takeshi Tsukada
Chiba University
Ichiro Hasuo
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
Co-author 4
Co-author 4
Luke Ong
Luke Ong
Distinguished University Professor, Nanyang Technological University
Zhenjiang Hu
Zhenjiang Hu
Professor, School of Computer Science, Peking University
Ryoma Sin'ya
Ryoma Sin'ya
Akita University
Ryosuke Sato
Ryosuke Sato
Tokyo University of Agriculture and Technology