Loading...
Last submissions
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Nicolas Behr, Paul-André Melliès, Noam Zeilberger. Convolution Products on Double Categories and Categorification of Rule Algebras. FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy. pp.17:1-17:20, ⟨10.4230/LIPIcs.FSCD.2023.17⟩. ⟨hal-04222049⟩
-
-
-
-
-