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