Concepedia

Masahito Hasegawa

MH

Statistics

Publications

10

Citations

258

H-Index

10

Active since

2002

Affiliations

Kyoto University(Current)

Japan Science and Technology Agency

University of Tsukuba

Masahito Hasegawa is an author at Kyoto University specializing in automated reasoning, computer science, and engineering.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSemanticsFormal VerificationSyntaxLanguageLinguisticsProgram Analysis

Publications per year

2002–2009

10

Publications

10

A sound and complete axiomatization of delimited continuations

Yukiyoshi Kameyama, Masahito Hasegawa · 2003 · 69 citations

Control Operators, Engineering, Computability Theory +12

On traced monoidal closed categories

Masahito Hasegawa · Mathematical Structures in Computer Science · 2008 · 50 citations

Algebraic Logic, Tortile Monoidal Category, Engineering +9

Small-step and big-step semantics for call-by-need

Keiko Nakata, Masahito Hasegawa · Journal of Functional Programming · 2009 · 27 citations · Full text

Engineering, Cyclic Calculus, Semantics +16

The Uniformity Principle on Traced Monoidal Categories

Masahito Hasegawa · Electronic Notes in Theoretical Computer Science · 2003 · 23 citations · Full text

Scott Induction Principle, Traced Monoidal Categories, Domain Theory +6

A sound and complete axiomatization of delimited continuations

Yukiyoshi Kameyama, Masahito Hasegawa · ACM SIGPLAN Notices · 2003 · 19 citations

Control Operators, Engineering, Computability Theory +12

1–5 of 10