Daisuke Kimura

Available identifiers

Publication	Date of Publication	Type
A typed lambda-calculus with first-class configurations	2024-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q6116261	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	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4957792	2021-09-09	Paper
Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4989410	2021-05-25	Paper
Separation Logic with Monadic Inductive Definitions and Implicit Existentials	2016-01-08	Paper
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types	2013-04-09	Paper
Classical natural deduction for S4 modal logic	2012-11-16	Paper
Dual Calculus with Inductive and Coinductive Types	2009-06-30	Paper
Call-by-Value Is Dual to Call-by-Name, Extended	2008-05-15	Paper
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates	0001-01-03	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daisuke Kimura