Staff -HASEGAWA, Masahito-

Name HASEGAWA, Masahito
Position Professor
E-Mail hassei (email address: add @kurims.kyoto-u.ac.jp)
URL http://www.kurims.kyoto-u.ac.jp/~hassei
Research
I have been working on semantic models of computation, with particular emphasis on the analysis of programming languages. My research topics include lambda calculi, type theory, functional programming, operational semantics, denotational semantics, and category theory.