2-Functoriality of Initial Semantics, and Applications

Συγγραφείς: Benedikt Ahrens, Ambroise Lafont, Thomas Lamiaux

Συνεισφορές: lafont, ambroise

Πηγή: Proceedings of the ACM on Programming Languages. 9:643-674

Θεματικοί όροι: Initial semantics, FOS: Computer and information sciences, Computer Science - Programming Languages, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], FOS: Mathematics, Monoidal categories, Mathematics - Category Theory, Category Theory (math.CT), Substitution, Theory of computation→Categorical semantics, Variable binding, Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2503.10863
https://hal.science/hal-05201321v1
https://doi.org/10.1145/3747527

Distributive Laws of Monadic Containers

Συγγραφείς: Purdy, Chris, Damato, Stefania

Θεματικοί όροι: Theory of computation → Categorical semantics, Theory of computation → Type structures Keywords and phrases distributive laws, monadic containers, monads, dependent types, cubical agda

Relation: https://nottingham-repository.worktribe.com/output/53107037

Διαθεσιμότητα: https://doi.org/10.4230/LIPIcs.CALCO.2025.4
https://nottingham-repository.worktribe.com/file/53107037/1/Distributive%20Laws%20of%20Monadic%20Containers
https://nottingham-repository.worktribe.com/output/53107037

Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs

Συγγραφείς: Barbarossa, Davide, Pistone, Paolo

Συνεισφορές: University of Bath Bath, Université Claude Bernard Lyon 1 (UCBL), Université de Lyon, Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)

Πηγή: Computer Science Logic 2024 (CSL 2024) ; https://hal.science/hal-04777395 ; Computer Science Logic 2024 (CSL 2024), Feb 2024, Napoli, France. ⟨10.4230/LIPIcs.CSL.2024.14⟩

Θεματικοί όροι: Tropical semiring, Program metrics, Lawvere quantale, Theory of computation → Lambda calculus, Theory of computation → Categorical semantics, Theory of computation → Linear logic, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus Theory of computation Ñ Categorical semantics Theory of computation Ñ Linear logic Relational semantics, Lawvere quantale Digital Object Identifier 10.4230/LIPIcs.CSL.2024.14, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus, Theory of computation Ñ Categorical semantics, Theory of computation Ñ Linear logic Relational semantics, Differential lambda-calculus, Relational semantics, [INFO]Computer Science [cs]

Θέμα γεωγραφικό: Napoli, France

Διαθεσιμότητα: https://hal.science/hal-04777395
https://hal.science/hal-04777395v1/document
https://hal.science/hal-04777395v1/file/LIPIcs.CSL.2024.14.pdf
https://doi.org/10.4230/LIPIcs.CSL.2024.14

Convolution Products on Double Categories and Categorification of Rule Algebras

Συγγραφείς: Behr, Nicolas, Melliès, Paul-André, Zeilberger, Noam

Συνεισφορές: Behr, Nicolas, Marco Gaboardi, Femke van Raamsdonk, Nicolas Behr and Paul-André Melliès and Noam Zeilberger

Θεματικοί όροι: Opfibrations, double pushout, Categorical rewriting, [INFO] Computer Science [cs], convolution product, Presheaf categories, Rule algebra, double categories, Theory of computation → Categorical semantics, Framed bicategories, opfibrations, Double categories, sesqui-pushout, Convolution product, presheaf categories, rule algebra, ddc:004, Sesqui-pushout, Double pushout, framed bicategories

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-04222049v1/document
https://hal.science/hal-04222049v1
https://doi.org/10.4230/lipics.fscd.2023.17
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.17

Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs

Συγγραφείς: Barbarossa, Davide, Pistone, Paolo

Συνεισφορές: Davide Barbarossa and Paolo Pistone, Pistone, Paolo

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.3.2, F.4.1, [INFO] Computer Science [cs], 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus, FOS: Mathematics, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus Theory of computation Ñ Categorical semantics Theory of computation Ñ Linear logic Relational semantics, Relational semantics, Lawvere quantale, Theory of computation → Linear logic, Computer Science - Programming Languages, Theory of computation Ñ Linear logic Relational semantics, Program metrics, Lawvere quantale Digital Object Identifier 10.4230/LIPIcs.CSL.2024.14, Theory of computation → Lambda calculus, Mathematics - Logic, Differential lambda-calculus, Logic in Computer Science (cs.LO), Theory of computation → Categorical semantics, Tropical semiring, ddc:004, Logic (math.LO), Theory of computation Ñ Categorical semantics, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2311.15704
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.14
https://hal.science/hal-04777395v1
https://hal.science/hal-04777395v1/document
https://doi.org/10.4230/lipics.csl.2024.14

Strategies as Resource Terms, and their Categorical Semantics

Συγγραφείς: Blondeau-Patissier, Lison, Clairambault, Pierre, Vaux Auclair, Lionel

Συνεισφορές: Lison Blondeau-Patissier and Pierre Clairambault and Lionel Vaux Auclair, Clairambault, Pierre

Θεματικοί όροι: FOS: Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Game semantics, Logic in Computer Science, 0102 computer and information sciences, Theory of computation → Denotational semantics, 01 natural sciences, Resource calculus, Logic in Computer Science (cs.LO), Theory of computation → Categorical semantics, Categorical semantics, ddc:004, 0101 mathematics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2302.04685
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.13
https://hal.science/hal-04244568v1/document
https://hal.science/hal-04244568v1
https://doi.org/10.4230/lipics.fscd.2023.13

Monotone weak distributive laws over the lifted powerset monad in categories of algebras

Συγγραφείς: Aristote, Quentin

Συνεισφορές: Université Paris Cité (UPCité), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)

Πηγή: https://hal.science/hal-04712728 ; 2024.

Θεματικοί όροι: weak extension, weak lifting, iterated distributive law, Yang-Baxter equation, powerset monad, Vietoris monad, Radon monad, Eilenberg-Moore category, regular category, relational extension, weak distributive law, Theory of computation → Categorical semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]

Διαθεσιμότητα: https://hal.science/hal-04712728
https://hal.science/hal-04712728v5/document
https://hal.science/hal-04712728v5/file/monotone-wdl-algebras.pdf
https://doi.org/10.4230/LIPIcs.STACS.2025.10

Relational algebra by way of adjunctions

Συγγραφείς: Gibbons, J, Henglein, F, Hinze, R, Wu, N

Πηγή: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP)
86.28
86.1
Gibbons, J, Henglein, F, Hinze, R & Wu, N 2018, Relational Algebra by Way of Adjunctions . in Proceedings of the International Conference on Functional Programming 2018 . Association for Computing Machinery (ACM) . https://doi.org/10.1145/3236781
Gibbons, J, Henglein, F, Hinze, R & Wu, N 2016, ' Relational algebra by way of adjunctions ', 15th International Symposium on Database Programming Languages, Pittsburgh, United States, 27/10/2015-27/10/2015 . < http://conf.researchr.org/event/dbpl2015/dbpl2015-relational-algebra-by-way-of-adjunctions >

Θεματικοί όροι: Software and its engineering → Semantics, Technology, SQL, Science & Technology, graded monad, monad, 02 engineering and technology, Computer Science, Software Engineering, Information systems → Relational database query languages, 01 natural sciences, Theory of computation → Categorical semantics, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, comprehension, adjunction

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://dl.acm.org/doi/pdf/10.1145/3236781
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002219706267959
https://www.cs.ox.ac.uk/jeremy.gibbons/publications/reladj.pdf
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#GibbonsHHW18
https://dl.acm.org/doi/pdf/10.1145/3236781
https://www.cs.ox.ac.uk/publications/publication12073-abstract.html
https://doi.org/10.1145/3236781
http://hdl.handle.net/10044/1/85696
https://research-information.bris.ac.uk/en/publications/6a6ecc13-813c-453e-b298-f8f2a175e33a
https://hdl.handle.net/1983/6a6ecc13-813c-453e-b298-f8f2a175e33a
https://curis.ku.dk/ws/files/168286330/reladj_dbpl.pdf

Recursion and Sequentiality in Categories of Sheaves

Συγγραφείς: Matache, Cristina, Moss, Sean, Staton, Sam

Συνεισφορές: Cristina Matache and Sean Moss and Sam Staton, Kobayashi, Naoki

Πηγή: Proceedings of 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)

Θεματικοί όροι: Denotational semantics, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Category Theory, 0102 computer and information sciences, Sheaf toposes, CPOs, Theory of computation → Denotational semantics, 01 natural sciences, Logic in Computer Science (cs.LO), Theory of computation → Categorical semantics, Full abstraction, FOS: Mathematics, Recursion, Category Theory (math.CT), ddc:004, 0101 mathematics, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2105.02156
https://arxiv.org/abs/2105.02156
https://arxiv.org/pdf/2105.02156.pdf
http://ui.adsabs.harvard.edu/abs/2021arXiv210502156M/abstract
https://drops.dagstuhl.de/opus/volltexte/2021/14263/
https://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-02156
https://drops.dagstuhl.de/opus/volltexte/2021/14263/pdf/LIPIcs-FSCD-2021-25.pdf/
https://ora.ox.ac.uk/objects/uuid:5e584afb-7f22-4864-9184-2c485308a253
https://doi.org/10.4230/lipics.fscd.2021.25
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.25

Minimality Notions via Factorization Systems

Συγγραφείς: Bonchi, Filippo, Sokolova, Ana, Vignudelli, Valeria

Συνεισφορές: Gadducci, F., Filippo Bonchi and Ana Sokolova and Valeria Vignudelli, Gadducci, Fabio, Silva, Alexandra

Πηγή: Gadducci, F. (ed.), CALCO 2021: 9th Conference on Algebra and Coalgebra in Computer Science, pp. 24:1-24:21

Θεματικοί όροι: FOS: Computer and information sciences, Convex semilattices, Discrete Mathematics (cs.DM), Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Mathematics - Category Theory, 0102 computer and information sciences, Convex sets of distributions monad, Theory of computation → Logic and verification, 01 natural sciences, Theory of computation → Categorical semantics, Software Science, FOS: Mathematics, Unique base, Category Theory (math.CT), ddc:004, 0101 mathematics, Theory of computation → Axiomatic semantics, Computer Science - Discrete Mathematics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2106.07233
http://export.arxiv.org/pdf/2106.07233
https://arxiv.org/pdf/2106.07233.pdf
https://arxiv.org/abs/2106.07233
https://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-07233
https://dblp.uni-trier.de/db/conf/calco/calco2021.html#BonchiSV21
https://drops.dagstuhl.de/opus/volltexte/2021/15366/pdf/LIPIcs-CALCO-2021-11.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/15366/
https://repository.ubn.ru.nl/handle/2066/242959
https://repository.ubn.ru.nl//bitstream/handle/2066/242959/242959.pdf
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.11

arboreal categories and resources

Συγγραφείς: Abramsky, Samson, Reggio, Luca

Συνεισφορές: Samson Abramsky and Luca Reggio, Bansal, Nikhil, Merelli, Emanuela, Worrell, James

Πηγή: Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)

Θεματικοί όροι: finite model theory, resources, comonad, open maps, relational structures, Theory of computation → Finite Model Theory, factorisation system, embedding, Theory of computation → Categorical semantics, bisimulation, game, ddc:004, coalgebra

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/opus/volltexte/2021/14184/pdf/LIPIcs-ICALP-2021-115.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/14184/
https://dblp.uni-trier.de/db/conf/icalp/icalp2021.html#AbramskyR21
https://hdl.handle.net/2434/1099968
https://doi.org/10.4230/LIPIcs.ICALP.2021.115
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.115
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.115

Modules over monads and operational semantics

Συγγραφείς: Hirschowitz, André, Hirschowitz, Tom, Lafont, Ambroise

Συνεισφορές: COMUE Université Côte d'Azur (2015-2019) (COMUE UCA), Laboratoire de Mathématiques (LAMA), Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )-Centre National de la Recherche Scientifique (CNRS), Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE), Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Zena M. Ariola

Πηγή: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
https://hal.science/hal-02338144
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 2020, Paris, France. pp.12:1--12:23, ⟨10.4230/LIPIcs.FSCD.2020.12⟩

Θεματικοί όροι: Operational semantics, Category theory, 2012 ACM Subject Classification Theory of computation → Semantics and reasoning, Theory of computation → Categorical semantics, Theory of computation → Operational semantics Keywords and phrases Operational semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Θέμα γεωγραφικό: Paris, France

Διαθεσιμότητα: https://hal.science/hal-02338144
https://hal.science/hal-02338144v3/document
https://hal.science/hal-02338144v3/file/LIPIcs-FSCD-2020-12.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2020.12

Monads and Quantitative Equational Theories for Nondeterminism and Probability

Συγγραφείς: Mio, Matteo, Vignudelli, Valeria

Συνεισφορές: Matteo Mio and Valeria Vignudelli, Mio, Matteo, Igor Konnov, Laura Kovács

Πηγή: Proc. CONCUR

Θεματικοί όροι: FOS: Computer and information sciences, Monads, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 4. Education, 0102 computer and information sciences, 02 engineering and technology, Computational Effects, 16. Peace & justice, Theory of computation → Logic and verification, 01 natural sciences, Metric Spaces, Logic in Computer Science (cs.LO), Theory of computation → Categorical semantics, Quantitative Algebras, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, Theory of computation → Axiomatic semantics, 10. No inequality

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2005.07509
https://dblp.uni-trier.de/db/journals/corr/corr2005.html#abs-2005-07509
https://drops.dagstuhl.de/opus/volltexte/2020/12840/
https://drops.dagstuhl.de/opus/volltexte/2020/12840/pdf/LIPIcs-CONCUR-2020-28.pdf/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.28