Akira Yoshimizu

1. Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
   2019/04/27 by Ugo Dal Lago, Lago, Ugo Dal, Francesco Gavazzo +3 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL
2. A Linear-logical Reconstruction of Intuitionistic Modal Logic S4
   2019/04/24 by Yosuke Fukuda, Fukuda, Yosuke, Akira Yoshimizu +1 · 1 citation
   Computer Science · #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
3. The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects
   2016/10/30 by Ugo Dal Lago, Lago, Ugo Dal, Claudia Faggian +6 · 1 citation
   Computer Science · Physics and Astronomy · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications #cs.LO