The following pages link to Daisuke Kimura (Q1758659):
Displaying 14 items.
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps (Q2039937) (← links)
- Separation Logic with Monadic Inductive Definitions and Implicit Existentials (Q3460899) (← links)
- Call-by-Value Is Dual to Call-by-Name, Extended (Q3498450) (← links)
- Dual Calculus with Inductive and Coinductive Types (Q3636828) (← links)
- Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types (Q4913777) (← links)
- (Q4957792) (← links)
- (Q4989410) (← links)
- Decision Procedure for Entailment of Symbolic Heaps with Arrays (Q5055997) (← links)
- Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions (Q6159926) (← links)
- A typed lambda-calculus with first-class configurations (Q6189215) (← links)
- A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates (Q6505585) (← links)
- Completeness of cyclic proofs for symbolic heaps with inductive definitions (Q6536318) (← links)
- Restriction on cut rule in cyclic-proof system for symbolic heaps (Q6633582) (← links)
