Masahito Hasegawa

Masahito Hasegawa

Research Institute for Mathematical Sciences, Kyoto University
在 kurims.kyoto-u.ac.jp 的电子邮件经过验证
被引用次数：995
Programming Languages Lambda Calculi Logic Category Theory
Freek Verbeek

Freek Verbeek

Radboud University, The Netherlands
在 ou.nl 的电子邮件经过验证
被引用次数：463
Formal Verification Networks-on-Chip lambda-calculi