Ghica, Dan R.
- Diagrammatic Semantics for Digital Circuits
2017/03/29 by Dan R. Ghica, Achim Jung, Ghica, Dan R. +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)
- Functorial String Diagrams for Reverse-Mode Automatic Differentiation
2021/07/28 by Mario Alvarez-Picallo, Alvarez-Picallo, Mario, Dan R. Ghica +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #I.2.5 #Machine Learning (cs.LG) #Modeling and Simulation Systems #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
2022/01/25 by Ghica, Dan R., Kaye, George, Sprunger, David · 1 citation
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- A System-Level Semantics
2012/01/21 by Ghica, Dan R., Tzevelekos, Nikos · 1 citation
#F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
2024/06/22 by Aleksei Tiurin, Chris Barrett, Tiurin, Aleksei +4 · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge