Yoshimizu, Akira

1. Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
   2019/04/27 by Lago, Ugo Dal, Gavazzo, Francesco, Yoshimizu, Akira · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. A Linear-logical Reconstruction of Intuitionistic Modal Logic S4
   2019/04/24 by Fukuda, Yosuke, Yoshimizu, Akira · 1 citation
   #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects
   2016/10/30 by Ugo Dal Lago, Lago, Ugo Dal, Claudia Faggian +5 · 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