Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
category theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
12
Look more..
(1/200)
Export
export all inquiry results
(12)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
Coinductive streams in monoidal categories
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
Logical methods in computer science
2025
/
p. 18:1–18:52 : ill
https://doi.org//10.46298/LMCS-21(3:18)2025
journal article
2
book article EST
/
book article ENG
Compositional modelling of network games
Di Lavore, Elena
;
Hedges, Jules
;
Sobocinski, Pawel Maria
29th 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
Related publications
1
Monoidal width = Monoidiline laius
3
journal article EST
/
journal article ENG
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
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
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
4
book article
A foundation for ledger structures
Nester, Chad Mitchell
2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France
2021
/
art. 7, p. 7:1–7:31
https://doi.org/10.4230/OASIcs.Tokenomics.2020.7
book article
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
5
book article EST
/
book article ENG
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana-Maria
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
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
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
6
book article EST
/
book article ENG
Monoidal streams for dataflow programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
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
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
7
journal article EST
/
journal article ENG
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
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
Related publications
1
Monoidal width = Monoidiline laius
8
journal article EST
/
journal article ENG
Protocol choice and iteration for the free cornering
Nester, Chad Mitchell
;
Voorneveld, Niels Frits Willem
Journal of logical and algebraic methods in programming
2024
/
art. 100942, 30 p
https://doi.org/10.1016/j.jlamp.2023.100942
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
9
book article EST
/
book article ENG
Slice nondeterminism
Voorneveld, Niels Frits Willem
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
2023
/
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
10
journal article EST
/
journal article ENG
String diagram rewrite theory I : rewriting with Frobenius structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Journal of the ACM
2022
/
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
11
journal article EST
/
journal article ENG
String diagram rewrite theory II : rewriting with symmetric monoidal structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Mathematical structures in computer science
2022
/
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
12
book article EST
/
book article ENG
A survey of Compositional signal flow theory
Bonchi, Filippo
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Advancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
2021
/
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 12, displaying
1 - 12
keyword
200
1.
category theory
2.
enriched category theory
3.
formal category theory
4.
bicategory theory
5.
aspect category
6.
assessment category
7.
bimonoidal category
8.
closed category
9.
cocomplete category
10.
copy-discard category
11.
cyclic category
12.
double category
13.
duplicial category
14.
free monoidal category
15.
Locally graded category
16.
monoidal category
17.
omega-category
18.
orbit category
19.
skew-monoidal category
20.
slice 2-category
21.
slice category
22.
symmetric monoidal category
23.
symmetric monoidal closed category
24.
triangulated category
25.
2-category
26.
a coherent theory of proofs
27.
activity theory
28.
adaptive structuration theory (AST)
29.
algebraic number theory
30.
algebraic theory
31.
algorithm design and theory
32.
beam theory
33.
behavioral reasoning theory
34.
Biot theory
35.
Bond theory
36.
Boolean Algebra Meets Graph-Theory
37.
catastrophe theory
38.
chaos theory
39.
coding theory
40.
cognitive theory
41.
commitment theory
42.
communication channels (information theory)
43.
Complex systems theory
44.
complexity leadership theory
45.
complexity theory
46.
computation theory
47.
computer softwaregraph theory
48.
conservation of resources theory
49.
consumer culture theory
50.
control and systems theory
51.
control theory
52.
Cooper-Helmstetter cell cycle theory
53.
cosmology theory
54.
cosmology: theory
55.
critical theory of technology
56.
cultural theory of international relations
57.
dark matter theory
58.
decision theory
59.
Dempster-Shafer theory
60.
Demster-Shafer Theory
61.
density functional theory
62.
density functional theory (DFT)
63.
dependent type theory
64.
design theory
65.
Dezert–Smarandache theory
66.
development theory
67.
Digital Government Theory: Development and Application
68.
dispersive theory
69.
domain theory
70.
dual-process theory
71.
Dynamic capability theory
72.
dynamic social impact theory (DSIT)
73.
ecological systems theory
74.
economic theory
75.
end of theory
76.
energetic impact theory
77.
engaged theory
78.
Euler Bernoulli beams theory
79.
evolutionary theory of policy capacity
80.
Flow theory
81.
formal language theory
82.
fully nonlinear potential theory
83.
game theory
84.
general systems theory
85.
general theory of information transfer
86.
general vibration theory
87.
graph theory
88.
gravitational waves / theory
89.
grounded theory
90.
group theory
91.
group threat theory
92.
higher-order beam theory
93.
History and Theory
94.
homotopy theory
95.
homotopy type theory
96.
housemoney effect prospect theory
97.
iceberg theory of culture
98.
image theory
99.
information theory
100.
innovation theory
101.
institutional theory
102.
intellectual capital theory
103.
interdependence theory
104.
inverse problem theory/applications
105.
inverse problems theory/applications
106.
job search theory
107.
language theory
108.
Lawvere theory
109.
layer-wise displacement theory
110.
linear systems theory
111.
macro-foundational theory
112.
maritime investment theory
113.
mechanism design theory
114.
meso-foundational theory
115.
micro-foundational theory
116.
middle-range theory
117.
mindlin plate theory
118.
modern portfolio theory
119.
network theory
120.
nonlinear shallow water theory
121.
nonlinear shallow-water theory
122.
nonlinear strip theory
123.
nonlinear theory
124.
normal torsion theory
125.
number theory
126.
organismic integration theory
127.
organization theory
128.
organizational theory
129.
peer‐to‐peer theory
130.
perceived customer value theory
131.
phase field theory
132.
picture theory
133.
protection motivation theory
134.
proto-theory of design
135.
public administration theory
136.
punctuated equilibrium theory
137.
quantum theory
138.
rational choice theory
139.
real options theory
140.
realization theory
141.
reduction theory
142.
refined zigzag theory
143.
regulatory focus theory
144.
sampling theory
145.
scapegoat theory
146.
search and matching theory
147.
self-determination theory
148.
self-determination theory of work motivation
149.
set theory
150.
shallow water theory
151.
shallow‐water theory
152.
sign theory
153.
signalling theory
154.
social exchange theory
155.
social identity theory
156.
social practice theory
157.
social presence theory
158.
social representation theory
159.
social system theory
160.
social systems theory
161.
sociological curriculum theory
162.
S-O-R theory
163.
speech-act theory
164.
stakeholder theory
165.
Stakeholder-oriented decision theory
166.
State Theory
167.
stimulus-organism-response theory
168.
stochastic learning theory
169.
strategic narrative theory
170.
strategic narrative theory
171.
Straussian theory model
172.
structuration theory
173.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
174.
switching theory
175.
synchronous reference frame theory
176.
system theory
177.
systems theory
178.
the RAT theory
179.
theory
180.
theory and practice of meta-modelling with application in healthcare
181.
theory building
182.
theory of accounting
183.
Theory of computation
184.
Theory Of Constraints (TOC)
185.
theory of economic development
186.
theory of inventive problem solving (TRIZ)
187.
theory of natural disaster
188.
Theory of paradox
189.
theory of planned behavior
190.
theory of planned behaviour
191.
theory of signs
192.
theory of value
193.
theory selection
194.
ticked cubical type theory
195.
time-dependent density functional theory (TD-DFT)
196.
type theory
197.
unified theory of acceptance and use of technology
198.
value theory
199.
virtual disc theory
200.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT