Loading…
Loading…
Loading…
Loading…
Loading…
Arumberia-type structures in the Upper Vendian of the Urals
Kolesnikov, A. V., Grazhdankin, D. V., Maslov, A. V.
Published in Doklady earth sciences (01.11.2012)
Published in Doklady earth sciences (01.11.2012)
Get full text
Journal Article
Loading…
Hamiltonian operators and related differential-algebraic Balinsky-Novikov, Riemann and Leibniz type structures on nonassociative noncommutative algebras
Artemovych, Orest, Balinsky, Alexandr, Prykarpatski, Anatolij
Published in Trudy Meždunarodnogo geometričeskogo centra (28.12.2019)
Published in Trudy Meždunarodnogo geometričeskogo centra (28.12.2019)
Get full text
Journal Article
Loading…
Loading…
Less is more: multiparty session types revisited
Scalas, Alceste, Yoshida, Nobuko
Published in Proceedings of ACM on programming languages (02.01.2019)
Published in Proceedings of ACM on programming languages (02.01.2019)
Get full text
Journal Article
Loading…
Loading…
Type-Preserving Flat Closure Optimization
Geller, Adam T., Bocirnea, Sean, Gould, Chester J. F., Koronkevich, Paulette, Bowman, William J.
Published in Proceedings of ACM on programming languages (09.04.2025)
Published in Proceedings of ACM on programming languages (09.04.2025)
Get full text
Journal Article
Loading…
Loading…
Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems
Jin, Charles, Hong, Zhang-Wei, Arthaud, Farid, Orzech, Idan, Rinard, Martin
Year of Publication 27.04.2023
Year of Publication 27.04.2023
Get full text
Journal Article
Loading…
Bindings as bounded natural functors
Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei, Traytel, Dmitriy
Published in Proceedings of ACM on programming languages (02.01.2019)
Published in Proceedings of ACM on programming languages (02.01.2019)
Get full text
Journal Article
Loading…
Loading…