Kozen, Dexter

1. Semantics of higher-order probabilistic programs with conditioning
   2019/02/28 by Dahlqvist, Fredrik, Kozen, Dexter · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL)
2. Nominal Automata with Name Binding
   2016/03/04 by Schröder, Lutz, Kozen, Dexter, Milius, Stefan +1 · 1 citation
   #F.1.1 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
3. A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
   2024/05/13 by Rooduijn, Jan, Kozen, Dexter, Silva, Alexandra · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic (math.LO) #Logic in Computer Science (cs.LO)