[PDF][PDF] A Bibliography of Publications in Notices of the American Mathematical Society (2020–2029)
NHF Beebe - American Mathematical Society, 2024 - netlib.org
A Bibliography of Publications in Notices of the American Mathematical Society (2020–2029)
Page 1 A Bibliography of Publications in Notices of the American Mathematical Society (2020–2029) …
Page 1 A Bibliography of Publications in Notices of the American Mathematical Society (2020–2029) …
A Formal Algebraic Framework for DSL Composition
Z Flores, A Taranto, E Bond - arXiv preprint arXiv:2302.00744, 2023 - arxiv.org
We discuss a formal framework for using algebraic structures to model a meta-language that
can write, compose, and provide interoperability between abstractions of DSLs. The purpose …
can write, compose, and provide interoperability between abstractions of DSLs. The purpose …
A Formalization of Operads in Coq
Z Flores, A Taranto, E Bond, Y Forman - arXiv preprint arXiv:2303.08894, 2023 - arxiv.org
What provides the highest level of assurance for correctness of execution within a
programming language? One answer, and our solution in particular, to this problem is to …
programming language? One answer, and our solution in particular, to this problem is to …
Interaction spaces: towards a universal mathematical theory of complex systems
P Giordano - arXiv preprint arXiv:2407.02175, 2024 - arxiv.org
We present the first steps of interaction spaces theory, a universal mathematical theory of
complex systems which is able to embed cellular automata, agent based models, master …
complex systems which is able to embed cellular automata, agent based models, master …