×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
Sign up
Login
Keigo Imai
(今井 敬吾)
Modified on: 04/01
Home
Research History
Committee Memberships
Papers
Presentations
Books and Other Publications
Misc.
Academic Activities
Research Projects
Awards
Research Areas
Research Interests
Professional Memberships
Education
Research Interests
10
Computer Science
Programming language
Model checking
Formal methods
Haskell
OCaml
Pi-calculus
Type theory
Concurrency theory
Functional programming
Menu
My portal
Coauthors
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated
More
Following
You are not following anyone.
{{follow.Related.user_name_en}}
{{follow.Related.modified}} Updated
More