A String Diagrammatic Axiomatisation of Finite-State Automata

von Piedeleu, Robin
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)

Coalgebraic methods in computer science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings

Veröffentlicht 2022

Categorical Foundations of Gradient-Based Leaming

von Cruttwell, Geoffrey S. H.
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)