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
algebraic 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
1
Look more..
(1/181)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF 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 EST
/
journal article ENG
Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
art. 123, 28 p
https://doi.org/10.1145/3547654
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
181
1.
algebraic theory
2.
algebraic number theory
3.
algebraic analysis
4.
algebraic approach
5.
algebraic approaches
6.
algebraic effects
7.
algebraic fractions
8.
algebraic hyperstructure
9.
algebraic methods
10.
algebraic operations
11.
Algebraic soliton
12.
algebraic theories
13.
algebraic weak factorisation system
14.
algebraic/geometric methods
15.
a coherent theory of proofs
16.
activity theory
17.
adaptive structuration theory (AST)
18.
algorithm design and theory
19.
beam theory
20.
behavioral reasoning theory
21.
bicategory theory
22.
Bond theory
23.
Boolean Algebra Meets Graph-Theory
24.
catastrophe theory
25.
category theory
26.
chaos theory
27.
coding theory
28.
cognitive theory
29.
commitment theory
30.
communication channels (information theory)
31.
Complex systems theory
32.
complexity leadership theory
33.
complexity theory
34.
computation theory
35.
computer softwaregraph theory
36.
conservation of resources theory
37.
Consumer Culture Theory
38.
control theory
39.
Cooper-Helmstetter cell cycle theory
40.
cosmology theory
41.
cosmology: theory
42.
critical theory of technology
43.
cultural theory of international relations
44.
dark matter theory
45.
decision theory
46.
Dempster-Shafer theory
47.
Demster-Shafer Theory
48.
density functional theory
49.
density functional theory (DFT)
50.
dependent type theory
51.
design theory
52.
development theory
53.
Digital Government Theory: Development and Application
54.
dispersive theory
55.
domain theory
56.
ecological systems theory
57.
economic theory
58.
end of theory
59.
energetic impact theory
60.
enriched category theory
61.
Euler Bernoulli beams theory
62.
evolutionary theory of policy capacity
63.
Flow theory
64.
formal category theory
65.
formal language theory
66.
fully nonlinear potential theory
67.
game theory
68.
general systems theory
69.
general theory of information transfer
70.
general vibration theory
71.
graph theory
72.
gravitational waves / theory
73.
grounded theory
74.
group theory
75.
group threat theory
76.
higher-order beam theory
77.
History and Theory
78.
homotopy theory
79.
homotopy type theory
80.
housemoney effect prospect theory
81.
iceberg theory of culture
82.
image theory
83.
information theory
84.
innovation theory
85.
institutional theory
86.
intellectual capital theory
87.
interdependence theory
88.
inverse problem theory/applications
89.
inverse problems theory/applications
90.
job search theory
91.
language theory
92.
Lawvere theory
93.
layer-wise displacement theory
94.
linear systems theory
95.
macro-foundational theory
96.
maritime investment theory
97.
mechanism design theory
98.
meso-foundational theory
99.
micro-foundational theory
100.
middle-range theory
101.
mindlin plate theory
102.
modern portfolio theory
103.
network theory
104.
nonlinear shallow water theory
105.
nonlinear shallow-water theory
106.
nonlinear strip theory
107.
nonlinear theory
108.
normal torsion theory
109.
number theory
110.
organization theory
111.
organizational theory
112.
peer‐to‐peer theory
113.
perceived customer value theory
114.
phase field theory
115.
picture theory
116.
protection motivation theory
117.
proto-theory of design
118.
punctuated equilibrium theory
119.
rational choice theory
120.
real options theory
121.
realization theory
122.
reduction theory
123.
refined zigzag theory
124.
regulatory focus theory
125.
sampling theory
126.
scapegoat theory
127.
search and matching theory
128.
self-determination theory
129.
self-determination theory of work motivation
130.
set theory
131.
shallow water theory
132.
shallow‐water theory
133.
sign theory
134.
signalling theory
135.
social exchange theory
136.
social identity theory
137.
social practice theory
138.
social presence theory
139.
social representation theory
140.
social system theory
141.
social systems theory
142.
sociological curriculum theory
143.
S-O-R theory
144.
speech-act theory
145.
stakeholder theory
146.
Stakeholder-oriented decision theory
147.
State Theory
148.
stimulus-organism-response theory
149.
stochastic learning theory
150.
strategic narrative theory
151.
strategic narrative theory
152.
Straussian theory model
153.
structuration theory
154.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
155.
switching theory
156.
synchronous reference frame theory
157.
system theory
158.
systems theory
159.
the RAT theory
160.
theory
161.
theory and practice of meta-modelling with application in healthcare
162.
theory building
163.
theory of accounting
164.
Theory of computation
165.
Theory Of Constraints (TOC)
166.
theory of economic development
167.
theory of inventive problem solving (TRIZ)
168.
theory of natural disaster
169.
Theory of paradox
170.
theory of planned behavior
171.
theory of planned behaviour
172.
theory of signs
173.
theory of value
174.
theory selection
175.
ticked cubical type theory
176.
time-dependent density functional theory (TD-DFT)
177.
type theory
178.
unified theory of acceptance and use of technology
179.
value theory
180.
virtual disc theory
181.
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