YOKOUCHI Hirofumi

J-GLOBAL         Last updated: Nov 15, 2018 at 03:19
 
Avatar
Name
YOKOUCHI Hirofumi
Affiliation
Gunma University
Job title
Associate Professor
Degree
Doctor of Science(Tokyo Institute of Technology)

Research Areas

 
 

Academic & Professional Experience

 
 
   
 
Associate Professor, Gunma University 
 

Education

 
 
 - 
1978
Department of Information Science, Faculty of Science, Tokyo Institute of Technology
 

Misc

 
YOKOUCHI HIROFUMI
Theoretical Computer Science   Vol. 272, No. 1-2, 341-398    2002
Hirofumi Yokouchi
Lecture Notes in Computer Science   4989 225-271   2008
Application and composition in functional programming, Journal of Information Processing
YOKOUCHI HIROFUMI
Journal of Information Processing   Vol. 8, No. 3, 217-221    1986
YOKOUCHI HIROFUMI
Theoretical Computer Science   Vol. 65, No. 3, 271-290    1989
YOKOUCHI HIROFUMI
SIAM Journal on Computing   Vol. 19, No. 1, 78-97    1990

Conference Activities & Talks

 
A systematic proof of strong normalization for polymorphic lambda-mu-calculus with sum and existential quantifier types
TRS Meeting   2012