Auswahl der wissenschaftlichen Literatur zum Thema „Semiring Monads“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Semiring Monads" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Semiring Monads"
Kidney, Donnacha Oisín, und Nicolas Wu. „Algebras for weighted search“. Proceedings of the ACM on Programming Languages 5, ICFP (22.08.2021): 1–30. http://dx.doi.org/10.1145/3473577.
Der volle Inhalt der QuelleGehrke, Mai, Daniela Petrişan und Luca Reggio. „Quantifiers on languages and codensity monads“. Mathematical Structures in Computer Science 30, Nr. 10 (November 2020): 1054–88. http://dx.doi.org/10.1017/s0960129521000074.
Der volle Inhalt der QuelleBonchi, Filippo, und Alessio Santamaria. „Convexity via Weak Distributive Laws“. Logical Methods in Computer Science Volume 18, Issue 4 (23.11.2022). http://dx.doi.org/10.46298/lmcs-18(4:8)2022.
Der volle Inhalt der QuelleKock, Joachim. „Categorification of Hopf algebras of rooted trees“. Open Mathematics 11, Nr. 3 (01.01.2013). http://dx.doi.org/10.2478/s11533-012-0152-1.
Der volle Inhalt der QuelleLabai, Nadia, und Johann Makowsky. „Tropical Graph Parameters“. Discrete Mathematics & Theoretical Computer Science DMTCS Proceedings vol. AT,..., Proceedings (01.01.2014). http://dx.doi.org/10.46298/dmtcs.2406.
Der volle Inhalt der QuelleDissertationen zum Thema "Semiring Monads"
Munnich, Nicolas. „Operational and categorical models of PCF : addressing machines and distributing semirings“. Electronic Thesis or Diss., Paris 13, 2024. http://www.theses.fr/2024PA131015.
Der volle Inhalt der QuelleDespite being introduced over 60 years ago, PCF remains of interest. Though the quest for a satisfactory fully abstract model of PCF was resolved around the turn of the millennium, new models of PCF still frequently appear in the literature, investigating unexplored avenues or using PCF as a lens or tool to investigate some other mathematical construct. In this thesis, we build upon our knowledge of models of PCF in two distinct ways: Constructing a brand new model, and building upon existing models. Addressing Machines are a relatively new type of abstract machine taking inspiration from Turing Machines. These machines have been previously shown to model the full untyped ?- calculus. We build upon these machines to construct Extended Addressing Machines (EAMs) and endow them with a type system. We then show that these machines can be used to obtain a new and distinct fully abstract model of PCF: We show that the machines faithfully simulatePCF in such a way that a PCF term terminates in a numeral exactly when the corresponding Extended Addressing Machine terminates in the same numeral. Likewise, we show that every typed Extended Addressing Machine can be transformed into a PCF program with the same observational behaviour. From these two results, it follows that the model of PCF obtained by quotienting typable EAMs by a suitable logical relation is fully abstract. There exist a plethora of sound categorical models of PCF, due to its close relationship with the ?-calculus. We consider two similar models (which are also models of Linear Logic) that are based on semirings: Weighted models, using semirings to quantify some internal value, and Multiplicity models, using semirings to linearly model functions (model the exponential !). We investigate the intersection between these two models by investigating the conditions under which two monads derived from specific semirings distribute. We discover that whether or not a semiring has an idempotent sum makes a large difference in its ability to distribute. Our investigation leads us to discover the notion of an unnatural distribution, which forms a monad on a Kleislicategory. Finally, we present precise conditions under which a particular distribution can form between two semirings
Reggio, Luca. „Quantifiers and duality“. Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC210/document.
Der volle Inhalt der QuelleThe unifying theme of the thesis is the semantic meaning of logical quantifiers. In their basic form quantifiers allow to state theexistence, or non-existence, of individuals satisfying a property. As such, they encode the richness and the complexity of predicate logic, as opposed to propositional logic. We contribute to the semantic understanding of quantifiers, from the viewpoint of duality theory, in three different areas of mathematics and theoretical computer science. First, in formal language theory through the syntactic approach provided by logic on words. Second, in intuitionistic propositional logic and in the study of uniform interpolation. Third, in categorical topology and categorical semantics for predicate logic
Buchteile zum Thema "Semiring Monads"
Močkoř, Jiří. „Applications of Monads in Semiring-Valued Fuzzy Sets“. In Information Processing and Management of Uncertainty in Knowledge-Based Systems, 320–31. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-08971-8_27.
Der volle Inhalt der QuelleBonchi, Filippo, und Alessio Santamaria. „Combining Semilattices and Semimodules“. In Lecture Notes in Computer Science, 102–23. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_6.
Der volle Inhalt der QuelleWehrung, Friedrich. „Constructions Involving Involutary Semirings and Rings“. In Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups, 185–219. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61599-8_6.
Der volle Inhalt der QuelleAsudeh, Ash, und Gianluca Giorgolo. „Uncertainty and conjunction fallacies“. In Enriched Meanings, 95–124. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198847854.003.0006.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Semiring Monads"
Rivas, Exequiel, Mauro Jaskelioff und Tom Schrijvers. „From monoids to near-semirings“. In PPDP '15: 17th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2790449.2790514.
Der volle Inhalt der Quelle