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