( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rewriting for Monoidal Closed Categories.

, , , и . FSCD, том 228 из LIPIcs, стр. 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Simone Marion

Ernst Marioth-Wirtz

Anneliese Marioth

Martin Marioth

Ilias Mariolakos

 

Другие публикации лиц с тем же именем

Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog., , , и . ESOP, том 11423 из Lecture Notes in Computer Science, стр. 525-552. Springer, (2019)Cartesian Difference Categories., и . FoSSaCS, том 12077 из Lecture Notes in Computer Science, стр. 57-76. Springer, (2020)The Difference Lambda-Calculus: A Language for Difference Categories., и . CoRR, (2020)The Difference λ-Calculus: A Language for Difference Categories., и . FSCD, том 167 из LIPIcs, стр. 32:1-32:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Functorial String Diagrams for Reverse-Mode Automatic Differentiation., , , и . CSL, том 252 из LIPIcs, стр. 6:1-6:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Functorial String Diagrams for Reverse-Mode Automatic Differentiation., , , и . CoRR, (2021)Rewriting for Monoidal Closed Categories., , , и . FSCD, том 228 из LIPIcs, стр. 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Change actions: from incremental computation to discrete derivatives.. CoRR, (2020)Cartesian Difference Categories: Extended Report., и . CoRR, (2020)Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog., , , и . CoRR, (2018)