Murakami Lab.

Logic of Computation, Theory of Programming

Current Research