The following pages link to Yoshihiko Kakutani (Q491259):
Displaying 13 items.
- Semi-automated verification of security proofs of quantum cryptographic protocols (Q491263) (← links)
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- Axioms for recursion in call-by-value (Q1870494) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- (Q2769433) (← links)
- A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution (Q3007710) (← links)
- Call-by-Name and Call-by-Value in Normal Modal Logic (Q3498449) (← links)
- A Logic for Formal Verification of Quantum Programs (Q3656843) (← links)
- (Q4411844) (← links)
- (Q4457457) (← links)
- (Q4681366) (← links)
- (Q4957792) (← links)
- (Q4997290) (← links)
