Alvarez-Picallo, Mario
- Change Actions: Models of Generalised Differentiation
2019/02/14 by Alvarez-Picallo, Mario, Ong, C. -H. Luke · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Cartesian Difference Categories: Extended Report
2020/02/04 by Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay, Alvarez-Picallo, Mario +1 · 2 citations
Computer Science · Mathematics · #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
- Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog
2018/11/14 by Mario Alvarez-Picallo, Alvarez-Picallo, Mario, Alex Eyers-Taylor +5 · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)
- Change actions: from incremental computation to discrete derivatives
2020/01/01 by Mario Alvarez-Picallo, Alvarez-Picallo, Mario · 1 citation
Computer Science · #Advanced Database Systems and Queries #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies
- Functorial String Diagrams for Reverse-Mode Automatic Differentiation
2021/07/28 by Mario Alvarez-Picallo, Dan R. Ghica, Alvarez-Picallo, Mario +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)