Masaki Haga

mathematical logic, program semantics