Tsukada, Takeshi

1. Higher-Order Program Verification via HFL Model Checking
   2017/10/24 by Naoki Kobayashi, Kobayashi, Naoki, Takeshi Tsukada +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
2. Software Model-Checking as Cyclic-Proof Search
   2021/11/10 by Takeshi Tsukada, Hiroshi Unno, Tsukada, Takeshi +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
3. Enriched Presheaf Model of Quantum FPC
   2023/11/06 by Tsukada, Takeshi, Asada, Kazuyuki · 1 citation
   #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)