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/191)
Export
export all inquiry results
(1)
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 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
191
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.
Biot theory
23.
Bond theory
24.
Boolean Algebra Meets Graph-Theory
25.
catastrophe theory
26.
category theory
27.
chaos theory
28.
coding theory
29.
cognitive theory
30.
commitment theory
31.
communication channels (information theory)
32.
Complex systems theory
33.
complexity leadership theory
34.
complexity theory
35.
computation theory
36.
computer softwaregraph theory
37.
conservation of resources theory
38.
consumer culture theory
39.
control and systems theory
40.
control theory
41.
Cooper-Helmstetter cell cycle theory
42.
cosmology theory
43.
cosmology: theory
44.
critical theory of technology
45.
cultural theory of international relations
46.
dark matter theory
47.
decision theory
48.
Dempster-Shafer theory
49.
Demster-Shafer Theory
50.
density functional theory
51.
density functional theory (DFT)
52.
dependent type theory
53.
design theory
54.
Dezert–Smarandache theory
55.
development theory
56.
Digital Government Theory: Development and Application
57.
dispersive theory
58.
domain theory
59.
dual-process theory
60.
Dynamic capability theory
61.
dynamic social impact theory (DSIT)
62.
ecological systems theory
63.
economic theory
64.
end of theory
65.
energetic impact theory
66.
engaged theory
67.
enriched category theory
68.
Euler Bernoulli beams theory
69.
evolutionary theory of policy capacity
70.
Flow theory
71.
formal category theory
72.
formal language theory
73.
fully nonlinear potential theory
74.
game theory
75.
general systems theory
76.
general theory of information transfer
77.
general vibration theory
78.
graph theory
79.
gravitational waves / theory
80.
grounded theory
81.
group theory
82.
group threat theory
83.
higher-order beam theory
84.
History and Theory
85.
homotopy theory
86.
homotopy type theory
87.
housemoney effect prospect theory
88.
iceberg theory of culture
89.
image theory
90.
information theory
91.
innovation theory
92.
institutional theory
93.
intellectual capital theory
94.
interdependence theory
95.
inverse problem theory/applications
96.
inverse problems theory/applications
97.
job search theory
98.
language theory
99.
Lawvere theory
100.
layer-wise displacement theory
101.
linear systems theory
102.
macro-foundational theory
103.
maritime investment theory
104.
mechanism design theory
105.
meso-foundational theory
106.
micro-foundational theory
107.
middle-range theory
108.
mindlin plate theory
109.
modern portfolio theory
110.
network theory
111.
nonlinear shallow water theory
112.
nonlinear shallow-water theory
113.
nonlinear strip theory
114.
nonlinear theory
115.
normal torsion theory
116.
number theory
117.
organismic integration theory
118.
organization theory
119.
organizational theory
120.
peer‐to‐peer theory
121.
perceived customer value theory
122.
phase field theory
123.
picture theory
124.
protection motivation theory
125.
proto-theory of design
126.
public administration theory
127.
punctuated equilibrium theory
128.
quantum theory
129.
rational choice theory
130.
real options theory
131.
realization theory
132.
reduction theory
133.
refined zigzag theory
134.
regulatory focus theory
135.
sampling theory
136.
scapegoat theory
137.
search and matching theory
138.
self-determination theory
139.
self-determination theory of work motivation
140.
set theory
141.
shallow water theory
142.
shallow‐water theory
143.
sign theory
144.
signalling theory
145.
social exchange theory
146.
social identity theory
147.
social practice theory
148.
social presence theory
149.
social representation theory
150.
social system theory
151.
social systems theory
152.
sociological curriculum theory
153.
S-O-R theory
154.
speech-act theory
155.
stakeholder theory
156.
Stakeholder-oriented decision theory
157.
State Theory
158.
stimulus-organism-response theory
159.
stochastic learning theory
160.
strategic narrative theory
161.
strategic narrative theory
162.
Straussian theory model
163.
structuration theory
164.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
165.
switching theory
166.
synchronous reference frame theory
167.
system theory
168.
systems theory
169.
the RAT theory
170.
theory
171.
theory and practice of meta-modelling with application in healthcare
172.
theory building
173.
theory of accounting
174.
Theory of computation
175.
Theory Of Constraints (TOC)
176.
theory of economic development
177.
theory of inventive problem solving (TRIZ)
178.
theory of natural disaster
179.
Theory of paradox
180.
theory of planned behavior
181.
theory of planned behaviour
182.
theory of signs
183.
theory of value
184.
theory selection
185.
ticked cubical type theory
186.
time-dependent density functional theory (TD-DFT)
187.
type theory
188.
unified theory of acceptance and use of technology
189.
value theory
190.
virtual disc theory
191.
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