Daisuke Kimura

Registered user since Fri 27 Sep 2019

Name: Daisuke Kimura

Country: Japan

Affiliation: Toho University

Research interests: Program Verification, Separation Logic, Inductive Definition, Cyclic Proofs, Type Theory

Contributions

APLAS 2019Author of Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions within the Research Papers-track