Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

category theory (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 11
Look more.. (1/166)
Export

export all inquiry results (11)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article ENG

Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius
2

journal article EST / journal article ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
3

book article

A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 https://doi.org/10.4230/OASIcs.Tokenomics.2020.7

book article
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
4

book article EST / book article ENG

Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 13 p. https://doi.org/10.1109/LICS56636.2023.10175726 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
5

book article EST / book article ENG

Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
6

journal article EST / journal article ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius
7

journal article

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942

journal article
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
8

book article EST / book article ENG

Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
9

journal article EST / journal article ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
10

journal article EST / journal article ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
11

book article EST / book article ENG

A survey of Compositional signal flow theoryBonchi, Filippo; Sobocinski, Pawel Maria; Zanasi, FabioAdvancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups2021 / p. 29–56 https://doi.org/10.1007/978-3-030-81701-5_2 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

Number of records 11, displaying 1 - 11

1. category theory
2. enriched category theory
3. formal category theory
4. bicategory theory
5. assessment category
6. bimonoidal category
7. closed category
8. cocomplete category
9. free monoidal category
10. Locally graded category
11. monoidal category
12. omega-category
13. skew-monoidal category
14. slice category
15. symmetric monoidal category
16. triangulated category
17. 2-category
18. a coherent theory of proofs
19. activity theory
20. adaptive structuration theory (AST)
21. algebraic number theory
22. algebraic theory
23. algorithm design and theory
24. beam theory
25. catastrophe theory
26. chaos theory
27. coding theory
28. cognitive theory
29. commitment theory
30. communication channels (information theory)
31. complexity leadership theory
32. complexity theory
33. computation theory
34. computer softwaregraph theory
35. conservation of resources theory
36. Consumer Culture Theory
37. control theory
38. Cooper-Helmstetter cell cycle theory
39. cosmology: theory
40. critical theory of technology
41. cultural theory of international relations
42. dark matter theory
43. decision theory
44. Dempster-Shafer theory
45. Demster-Shafer Theory
46. density functional theory
47. density functional theory (DFT)
48. dependent type theory
49. design theory
50. development theory
51. Digital Government Theory: Development and Application
52. dispersive theory
53. domain theory
54. ecological systems theory
55. economic theory
56. end of theory
57. energetic impact theory
58. evolutionary theory of policy capacity
59. Flow theory
60. formal language theory
61. fully nonlinear potential theory
62. game theory
63. general systems theory
64. general theory of information transfer
65. general vibration theory
66. graph theory
67. gravitational waves / theory
68. grounded theory
69. group theory
70. group threat theory
71. higher-order beam theory
72. History and Theory
73. homotopy theory
74. homotopy type theory
75. housemoney effect prospect theory
76. iceberg theory of culture
77. image theory
78. information theory
79. innovation theory
80. institutional theory
81. intellectual capital theory
82. interdependence theory
83. inverse problem theory/applications
84. inverse problems theory/applications
85. job search theory
86. Lawvere theory
87. layer-wise displacement theory
88. linear systems theory
89. maritime investment theory
90. mechanism design theory
91. middle-range theory
92. modern portfolio theory
93. network theory
94. nonlinear shallow water theory
95. nonlinear shallow-water theory
96. nonlinear strip theory
97. nonlinear theory
98. normal torsion theory
99. number theory
100. organization theory
101. organizational theory
102. peer‐to‐peer theory
103. perceived customer value theory
104. phase field theory
105. picture theory
106. protection motivation theory
107. proto-theory of design
108. punctuated equilibrium theory
109. rational choice theory
110. real options theory
111. realization theory
112. reduction theory
113. refined zigzag theory
114. regulatory focus theory
115. sampling theory
116. scapegoat theory
117. search and matching theory
118. self-determination theory
119. self-determination theory of work motivation
120. set theory
121. shallow water theory
122. shallow‐water theory
123. sign theory
124. signalling theory
125. social identity theory
126. social practice theory
127. social presence theory
128. social representation theory
129. social system theory
130. social systems theory
131. sociological curriculum theory
132. speech-act theory
133. stakeholder theory
134. Stakeholder-oriented decision theory
135. State Theory
136. stimulus-organism-response theory
137. stochastic learning theory
138. strategic narrative theory
139. strategic narrative theory
140. Straussian theory model
141. structuration theory
142. switching theory
143. synchronous reference frame theory
144. system theory
145. systems theory
146. the RAT theory
147. theory
148. theory and practice of meta-modelling with application in healthcare
149. theory of accounting
150. Theory of computation
151. Theory Of Constraints (TOC)
152. theory of economic development
153. theory of inventive problem solving (TRIZ)
154. theory of natural disaster
155. Theory of paradox
156. theory of planned behavior
157. theory of planned behaviour
158. theory of signs
159. theory of value
160. ticked cubical type theory
161. time-dependent density functional theory (TD-DFT)
162. type theory
163. unified theory of acceptance and use of technology
164. value theory
165. virtual disc theory
166. 2D+T theory

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu