Pavlovic, Dusko

1. Programs as Diagrams: From Categorical Computability to Computable Categories
   2022/08/07 by Dusko Pavlovic, Duško Pavlović, Pavlovic, Dusko · 1 voice
   Computer Science · #Computability, Logic, AI Algorithms
2. Classical and quantum structuralism
   2009/04/13 by Coecke, Bob, Paquette, Eric Oliver, Pavlovic, Dusko · 2 citations
   #Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Logic (math.LO) #Quantum Algebra (math.QA) #Quantum Physics (quant-ph)
3. Sound up-to techniques and Complete abstract domains
   2018/04/27 by Bonchi, Filippo, Ganty, Pierre, Giacobazzi, Roberto +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)