المؤلفون: Hefford, James, Wilson, Matt

المساهمون: Quantum Computation Structures (QuaCS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), University College of London London (UCL), ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022), ANR-22-PNCQ-0002,HQI – R&D et Support,Initiative Nationale Hybride HPC Quantique – R&D et Support des communautés(2022)

المصدر: LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science ; LICS 2024 - 39th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.science/hal-04720947 ; LICS 2024 - 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn, Estonia. pp.43, ⟨10.1145/3661814.3662123⟩

مصطلحات موضوعية: Quantum computation theory, Linear logic, Quantum supermaps, Higher-order quantum processes, Quantum combs, Strong profunctors, Tambara modules, Coend optics, [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]

جغرافية الموضوع: Tallinn, Estonia

Time: Tallinn, Estonia

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2402.02997; ARXIV: 2402.02997

الاتاحة: https://hal.science/hal-04720947
https://hal.science/hal-04720947v1/document
https://hal.science/hal-04720947v1/file/2402.02997v2.pdf
https://doi.org/10.1145/3661814.3662123

المؤلفون: Earnshaw, Matt, Hefford, James, Román, Mario

المساهمون: Matt Earnshaw and James Hefford and Mario Román

مصطلحات موضوعية: monoidal categories, profunctors, lenses, duoidal categories

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.25

الاتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.25
https://nbn-resolving.org/urn:nbn:de:0030-drops-196688
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.25

المؤلفون: Kavvos, G. A.

المساهمون: Rehof, Jakob

المصدر: Kavvos , G A 2024 , Two-dimensional Kripke Semantics I : Presheaves . in J Rehof (ed.) , 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) . vol. 299 , 14 , Leibniz International Proceedings in Informatics, LIPIcs , vol. 299 , Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany , 9th International Conference on Formal Structures for Computation and Deduction , Talinn , Estonia , 10/07/24 . https://doi.org/10.4230/LIPIcs.FSCD.2024.14

مصطلحات موضوعية: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, logic, modal logic, category theory, duality, semantics, profunctors

وصف الملف: application/pdf

Relation: https://research-information.bris.ac.uk/en/publications/dcd2d340-7059-4e6a-9219-21b975321756; urn:ISBN:9783959773232

الاتاحة: https://hdl.handle.net/1983/dcd2d340-7059-4e6a-9219-21b975321756
https://research-information.bris.ac.uk/en/publications/dcd2d340-7059-4e6a-9219-21b975321756
https://doi.org/10.4230/LIPIcs.FSCD.2024.14
https://research-information.bris.ac.uk/ws/files/398896718/2dks.pdf
https://fscd-conference.org/

المؤلفون: David Ellerman

المصدر: Mathematics, Vol 12, Iss 2, p 311 (2024)

مصطلحات موضوعية: adjunctions, adjoint functors, heteromorphisms, het-bifunctors, distributors, profunctors, Mathematics, QA1-939

Relation: https://www.mdpi.com/2227-7390/12/2/311; https://doaj.org/toc/2227-7390; https://doaj.org/article/bb3e069a0df14023b872af16b2ec3df9

الاتاحة: https://doi.org/10.3390/math12020311
https://doaj.org/article/bb3e069a0df14023b872af16b2ec3df9

المؤلفون: Galal, Zeinab

المساهمون: Zeinab Galal

مصطلحات موضوعية: Linear Logic, Scott Semantics, Profunctors

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 167, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.16

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2020.16
https://nbn-resolving.org/urn:nbn:de:0030-drops-123387
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.16

المؤلفون: Oliveira, Alexandre Garcia de

المساهمون: Jaskelioff, Mauro Javier, Melo, Ana Cristina Vieira de

مصطلحات موضوعية: Profuntores monoidais, Semiarrows, Máquinas de Moore, Programação síncrona, Profunctores monoidais com efeitos colaterais, Programação funcional, Effectful monoidal profunctors, Moore machines, Monoidal profunctors, Functional programming, Synchronous programming

وصف الملف: application/pdf

Relation: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/

الاتاحة: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/
https://doi.org/10.11606/T.45.2023.tde-03112023-152323

المؤلفون: Riehl, Emily, Verity, Dominic

مصطلحات موضوعية: $\infty$–categories, modules, profunctors, virtual equipment, pointwise Kan extension, 18G55, 55U35, 55U40

وصف الملف: application/pdf

Relation: https://projecteuclid.org/euclid.agt/1510841313; Algebr. Geom. Topol. 17, no. 1 (2017), 189-271

الاتاحة: https://projecteuclid.org/euclid.agt/1510841313
https://doi.org/10.2140/agt.2017.17.189

المؤلفون: Dominic Verity, Emily Riehl

المصدر: Algebr. Geom. Topol. 17, no. 1 (2017), 189-271

مصطلحات موضوعية: Structure (category theory), 0102 computer and information sciences, 18G55, 01 natural sciences, Mathematics::Category Theory, Calculus, virtual equipment, FOS: Mathematics, Algebraic Topology (math.AT), $\infty$–categories, Category Theory (math.CT), Mathematics - Algebraic Topology, 0101 mathematics, Category theory, 55U35, Mathematics, Pointwise, modules, 010102 general mathematics, 18G55, 55U35, 55U40, Mathematics - Category Theory, Yoneda lemma, Action (physics), profunctors, Cartesian closed category, 010201 computation theory & mathematics, Cosmos (category theory), Geometry and Topology, 55U40, pointwise Kan extension, Kan extension

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d375c4bfd5d93a7420a7963e917d11ed

المؤلفون: Verity, Dominic

المصدر: Verity , D 2011 , ' Enriched categories, internal categories and change of base ' , Reprints in theory and applications of categories , no. 20 , pp. 1-266 .

مصطلحات موضوعية: Change of base, enriched and internal categories, profunctors, equipments, bicategorical enrichment, biadjoints, persistent and flexible limits

الاتاحة: https://researchers.mq.edu.au/en/publications/4a2103ca-63a2-4850-8aef-0b21b553d760

المؤلفون: Κωστακιώτης, Ανδρέας

المساهمون: Kostakiotis, Andreas

مصطلحات موضوعية: Προσαρτήσεις, Αλγεβρικές θεωρίες, Ελεύθερες δομές, Επεκτάσεις Kan, Ψευδομονάδες, Προσυναρτητές, Εξαρτήματα προμορφισμών, Adjunctions, Algebraic theories, Free constructions, Kan extensions, Pseudomonads, Profunctors, Proarrow equipments

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10889/15300

الاتاحة: http://hdl.handle.net/10889/15300

المؤلفون: De Oliveira, Alexandre Garcia, Jaskelioff, Mauro Javier, De Melo, Ana Cristina Vieira

مصطلحات موضوعية: MONOIDAL PROFUNCTORS, FUNCTIONAL PROGRAMMING, HASKELL, CATEGORY THEORY, https://purl.org/becyt/ford/1.2, https://purl.org/becyt/ford/1

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/2207.00852v1; http://hdl.handle.net/11336/215522; CONICET Digital; CONICET

الاتاحة: http://hdl.handle.net/11336/215522

المؤلفون: Dominic Verity

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://tac.mta.ca/tac/reprints/articles/20/tr20.pdf.

مصطلحات موضوعية: Change of Base, Enriched and Internal Categories, Profunctors, Equipments, Bicategorical Enrichment, Biadjoints, Persistent and Flexible Limits

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.1128; http://tac.mta.ca/tac/reprints/articles/20/tr20.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.1128
http://tac.mta.ca/tac/reprints/articles/20/tr20.pdf

المؤلفون: Aleiferi, Evangelia

المساهمون: Department of Mathematics & Statistics - Math Division, Doctor of Philosophy, Dr. Simon Willerton, Dr. David Iron, Dr. Robert Paré, Dr. Julien Ross, Dr. Geoffrey Cruttwell, Dr. Richard Wood, Not Applicable

مصطلحات موضوعية: Cartesian bicategories, Cartesian double categories, Fibrant double categories, Spans, Profunctors

Relation: http://hdl.handle.net/10222/74133

الاتاحة: http://hdl.handle.net/10222/74133

المؤلفون: Matt Earnshaw and James Hefford and Mario Román, Earnshaw, Matt, Hefford, James, Román, Mario

مصطلحات الفهرس: monoidal categories, profunctors, lenses, duoidal categories, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.25
Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)