Daisuke Kimura

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates (available as arXiv preprint)	N/A	Paper
Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions Archive for Mathematical Logic	2026-04-13	Paper
Restriction on cut rule in cyclic-proof system for symbolic heaps Theoretical Computer Science	2024-11-06	Paper
Completeness of cyclic proofs for symbolic heaps with inductive definitions	2024-04-19	Paper
A typed lambda-calculus with first-class configurations Journal Of Logic And Computation	2024-02-08	Paper
scientific article; zbMATH DE number 7713500 (Why is no real title available?)	2023-07-18	Paper
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions	2023-06-23	Paper
Decision Procedure for Entailment of Symbolic Heaps with Arrays Programming Languages and Systems	2022-12-09	Paper
Induction by coinduction and control operators in call-by-name (available as arXiv preprint)	2021-09-09	Paper
Induction by coinduction and control operators in call-by-name	2021-09-09	Paper
Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps	2021-07-06	Paper
Decidability for entailments of symbolic heaps with arrays (available as arXiv preprint)	2021-05-25	Paper
Decidability for entailments of symbolic heaps with arrays	2021-05-25	Paper
Separation logic with monadic inductive definitions and implicit existentials Programming Languages and Systems	2016-01-08	Paper
Call-by-value and call-by-name dual calculi with inductive and coinductive types Logical Methods in Computer Science	2013-04-09	Paper
Classical natural deduction for S4 modal logic New Generation Computing	2012-11-16	Paper
Dual Calculus with Inductive and Coinductive Types Rewriting Techniques and Applications	2009-06-30	Paper
Call-by-Value Is Dual to Call-by-Name, Extended Programming Languages and Systems	2008-05-15	Paper

Research outcomes over time

This page was built for person: Daisuke Kimura