المؤلفون: E. E. Skurikhin, A.A. Stepanova, A. G. Sukhonos

المصدر: Известия Иркутского государственного университета: Серия "Математика", Vol 44, Iss 1, Pp 116-135 (2023)

مصطلحات موضوعية: cartesian closed category, $s$-act, chu spaces, functors, limits, Mathematics, QA1-939

وصف الملف: electronic resource

العلاقة: http://mathizv.isu.ru/en/article/file?id=1455Test; https://doaj.org/toc/1997-7670Test; https://doaj.org/toc/2541-8785Test

الوصول الحر: https://doaj.org/article/4a12b30773cb47859c702e6d81e199c8Test

المؤلفون: Tomita, Haruka, 冨田, 悠, トミタ, ハルカ

مصطلحات موضوعية: realizability, combinatory algebra, monoidal bi-closed category, exponential modality, exchange modality

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

الوصول الحر: https://ndlsearch.ndl.go.jp/books/R100000039-I12911195Test

Degree: 博士(理学) -- Doctor of Science -- 京都大学

المؤلفون: Alvarez-Picallo M., Ghica D., Sprunger D., Zanasi F.

المساهمون: Alvarez-Picallo M., Ghica D., Sprunger D., Zanasi F.

مصطلحات موضوعية: string diagrams, rewriting, hierarchical hypergraph, monoidal closed category

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-233-4; ispartofbook:7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022); 7th FSCD International Conference on Formal Structures for Computation and Deduction; volume:228; issue:29; firstpage:1; lastpage:20; numberofpages:20; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; https://hdl.handle.net/11585/904571Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85133671634; https://drops.dagstuhl.de/opus/volltexte/2022/16310Test/

الإتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2022.29Test
https://hdl.handle.net/11585/904571Test
https://drops.dagstuhl.de/opus/volltexte/2022/16310Test/

المؤلفون: Tomita, Haruka

المساهمون: Haruka Tomita

مصطلحات موضوعية: Realizability, combinatory algebra, monoidal bi-closed category, exponential modality, exchange modality

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

العلاقة: Is Part Of LIPIcs, Volume 216, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022); urn:nbn:de:0030-drops-157558; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.35Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2022.35Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-157558Test

المؤلفون: Tomita, Haruka

المساهمون: Haruka Tomita

مصطلحات موضوعية: Realizability, combinatory algebra, closed multicategory, closed category, skew closed category

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

العلاقة: Is Part Of LIPIcs, Volume 183, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021); urn:nbn:de:0030-drops-134729; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2021.38Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2021.38Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-134729Test

المؤلفون: Halimeh Moghbeli

المصدر: Categories and General Algebraic Structures with Applications, Vol 13, Iss 1, Pp 105-124 (2020)

مصطلحات موضوعية: directed complete partially ordered set, $m$-sets, symmetric monoidal closed category, Mathematics, QA1-939

وصف الملف: electronic resource

العلاقة: https://cgasa.sbu.ac.ir/article_87434_145bf46136675b89ce591ca594d1d767.pdfTest; https://doaj.org/toc/2345-5853Test; https://doaj.org/toc/2345-5861Test

الوصول الحر: https://doaj.org/article/51c25001c2e840dd982d00be30dd4ad0Test

المؤلفون: Alvarez-Picallo, M, Ghica, D, Sprunger, D, Zanasi, F

المصدر: In: 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). (pp. 29:1-29:20). Schloss Dagstuhl – Leibniz-Zentrum für Informatik: Dagstuhl, Germany. (2022)

مصطلحات موضوعية: string diagrams, rewriting, hierarchical hypergraph, monoidal closed category

وصف الملف: text

العلاقة: https://discovery.ucl.ac.uk/id/eprint/10152839/1/LIPIcs-FSCD-2022-29.pdfTest; https://discovery.ucl.ac.uk/id/eprint/10152839Test/

الإتاحة: https://discovery.ucl.ac.uk/id/eprint/10152839/1/LIPIcs-FSCD-2022-29.pdfTest
https://discovery.ucl.ac.uk/id/eprint/10152839Test/

المؤلفون: Clementino, Maria Manuel, Hofmann, Dirk, Ribeiro, Willian

مصطلحات موضوعية: Quantale, Enriched category, (Probabilistic) metric space, Exponentiation, (Weakly) cartesian closed category, Exact completion

العلاقة: UID/MAT/00324/2019; UID/MAT/04106/2019; PD/BD/128059/2016; http://hdl.handle.net/10773/28978Test

الإتاحة: https://doi.org/10.1016/j.jpaa.2019.06.003Test
http://hdl.handle.net/10773/28978Test

المؤلفون: Clementino, Maria Manuel, Hofmann, Dirk, Ribeiro, Willian

مصطلحات موضوعية: Quantale, Enriched category, (Probabilistic) metric space, Exponentiation, (Weakly) cartesian closed category, Exact completion

العلاقة: #PLACEHOLDER_PARENT_METADATA_VALUE#; CMUC-UID/MAT/00324/2019; https://www.sciencedirect.com/science/article/pii/S0022404919301495Test; https://hdl.handle.net/10316/89417Test

الإتاحة: https://doi.org/10.1016/j.jpaa.2019.06.003Test
https://hdl.handle.net/10316/89417Test

المؤلفون: Jeong-Gon Lee, Kul Hur, Xueyou Chen

المصدر: Mathematics; Volume 8; Issue 4; Pages: 482

مصطلحات موضوعية: cubic H -relational space, cubic H -reflexive relation, topological category, cartesian closed category, topological universe

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

العلاقة: Fuzzy Set Theory; https://dx.doi.org/10.3390/math8040482Test

الإتاحة: https://doi.org/10.3390/math8040482Test