Scholar
Kazuyuki Asada
Google Scholar ID: CaWtDmwAAAAJ
Tohoku University
programming language
logic
semantics
category theory
program verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
294
H-index
10
i10-index
10
Publications
20
Co-authors
10
list available
Publications
1 items
Full Definability in a Profunctorial Model
2026
Cited
0
Co-authors
8 total
Naoki Kobayashi
The University of Tokyo
Takeshi Tsukada
Chiba University
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
Luke Ong
Distinguished University Professor, Nanyang Technological University
Zhenjiang Hu
Professor, School of Computer Science, Peking University
Ryoma Sin'ya
Akita University
Ryosuke Sato
Tokyo University of Agriculture and Technology
Kazutaka Matsuda
Tohoku University
