researchmap
 

Research Interests  [ lambda calculus ]

7 items found


  • <
  • >
  • Tohoku University
    Graduate School of Information Sciences Department of Computer and Mathematical Sciences Software Science and Systems Foundations of Software Science  
    Professor
  • Nagoya University
    Graduate School of Informatics Department of Computing and Software Systems 3  
    Associate professor
  • Kyoto University
    Research Institute for Mathematical Sciences  
    Professor
  • Toho University
    Faculty of Science  
  • Keio University
    Faculty of Letters  

  • <
  • >