Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
algebraic theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/179)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
179
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.
critical theory of technology
42.
cultural theory of international relations
43.
dark matter theory
44.
decision theory
45.
Dempster-Shafer theory
46.
Demster-Shafer Theory
47.
density functional theory
48.
density functional theory (DFT)
49.
dependent type theory
50.
design theory
51.
development theory
52.
Digital Government Theory: Development and Application
53.
dispersive theory
54.
domain theory
55.
ecological systems theory
56.
economic theory
57.
end of theory
58.
energetic impact theory
59.
enriched category theory
60.
Euler Bernoulli beams theory
61.
evolutionary theory of policy capacity
62.
Flow theory
63.
formal category theory
64.
formal language theory
65.
fully nonlinear potential theory
66.
game theory
67.
general systems theory
68.
general theory of information transfer
69.
general vibration theory
70.
graph theory
71.
gravitational waves / theory
72.
grounded theory
73.
group theory
74.
group threat theory
75.
higher-order beam theory
76.
History and Theory
77.
homotopy theory
78.
homotopy type theory
79.
housemoney effect prospect theory
80.
iceberg theory of culture
81.
image theory
82.
information theory
83.
innovation theory
84.
institutional theory
85.
intellectual capital theory
86.
interdependence theory
87.
inverse problem theory/applications
88.
inverse problems theory/applications
89.
job search theory
90.
language theory
91.
Lawvere theory
92.
layer-wise displacement theory
93.
linear systems theory
94.
macro-foundational theory
95.
maritime investment theory
96.
mechanism design theory
97.
meso-foundational theory
98.
micro-foundational theory
99.
middle-range theory
100.
modern portfolio theory
101.
network theory
102.
nonlinear shallow water theory
103.
nonlinear shallow-water theory
104.
nonlinear strip theory
105.
nonlinear theory
106.
normal torsion theory
107.
number theory
108.
organization theory
109.
organizational theory
110.
peer‐to‐peer theory
111.
perceived customer value theory
112.
phase field theory
113.
picture theory
114.
protection motivation theory
115.
proto-theory of design
116.
punctuated equilibrium theory
117.
rational choice theory
118.
real options theory
119.
realization theory
120.
reduction theory
121.
refined zigzag theory
122.
regulatory focus theory
123.
sampling theory
124.
scapegoat theory
125.
search and matching theory
126.
self-determination theory
127.
self-determination theory of work motivation
128.
set theory
129.
shallow water theory
130.
shallow‐water theory
131.
sign theory
132.
signalling theory
133.
social exchange theory
134.
social identity theory
135.
social practice theory
136.
social presence theory
137.
social representation theory
138.
social system theory
139.
social systems theory
140.
sociological curriculum theory
141.
S-O-R theory
142.
speech-act theory
143.
stakeholder theory
144.
Stakeholder-oriented decision theory
145.
State Theory
146.
stimulus-organism-response theory
147.
stochastic learning theory
148.
strategic narrative theory
149.
strategic narrative theory
150.
Straussian theory model
151.
structuration theory
152.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
153.
switching theory
154.
synchronous reference frame theory
155.
system theory
156.
systems theory
157.
the RAT theory
158.
theory
159.
theory and practice of meta-modelling with application in healthcare
160.
theory building
161.
theory of accounting
162.
Theory of computation
163.
Theory Of Constraints (TOC)
164.
theory of economic development
165.
theory of inventive problem solving (TRIZ)
166.
theory of natural disaster
167.
Theory of paradox
168.
theory of planned behavior
169.
theory of planned behaviour
170.
theory of signs
171.
theory of value
172.
theory selection
173.
ticked cubical type theory
174.
time-dependent density functional theory (TD-DFT)
175.
type theory
176.
unified theory of acceptance and use of technology
177.
value theory
178.
virtual disc theory
179.
2D+T theory
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT