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
Otsing
Valitud kirjed
0
Lawvere theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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/168)
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
Functorial semantics for partial theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
art. 57, 28 p. : ill
https://doi.org/10.1145/3434338
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
168
1.
Lawvere theory
2.
Lawvere theories
3.
a coherent theory of proofs
4.
activity theory
5.
adaptive structuration theory (AST)
6.
algebraic number theory
7.
algebraic theory
8.
algorithm design and theory
9.
beam theory
10.
behavioral reasoning theory
11.
bicategory theory
12.
Bond theory
13.
Boolean Algebra Meets Graph-Theory
14.
catastrophe theory
15.
category theory
16.
chaos theory
17.
coding theory
18.
cognitive theory
19.
commitment theory
20.
communication channels (information theory)
21.
Complex systems theory
22.
complexity leadership theory
23.
complexity theory
24.
computation theory
25.
computer softwaregraph theory
26.
conservation of resources theory
27.
Consumer Culture Theory
28.
control theory
29.
Cooper-Helmstetter cell cycle theory
30.
cosmology: theory
31.
critical theory of technology
32.
cultural theory of international relations
33.
dark matter theory
34.
decision theory
35.
Dempster-Shafer theory
36.
Demster-Shafer Theory
37.
density functional theory
38.
density functional theory (DFT)
39.
dependent type theory
40.
design theory
41.
development theory
42.
Digital Government Theory: Development and Application
43.
dispersive theory
44.
domain theory
45.
ecological systems theory
46.
economic theory
47.
end of theory
48.
energetic impact theory
49.
enriched category theory
50.
Euler Bernoulli beams theory
51.
evolutionary theory of policy capacity
52.
Flow theory
53.
formal category theory
54.
formal language theory
55.
fully nonlinear potential theory
56.
game theory
57.
general systems theory
58.
general theory of information transfer
59.
general vibration theory
60.
graph theory
61.
gravitational waves / theory
62.
grounded theory
63.
group theory
64.
group threat theory
65.
higher-order beam theory
66.
History and Theory
67.
homotopy theory
68.
homotopy type theory
69.
housemoney effect prospect theory
70.
iceberg theory of culture
71.
image theory
72.
information theory
73.
innovation theory
74.
institutional theory
75.
intellectual capital theory
76.
interdependence theory
77.
inverse problem theory/applications
78.
inverse problems theory/applications
79.
job search theory
80.
language theory
81.
layer-wise displacement theory
82.
linear systems theory
83.
macro-foundational theory
84.
maritime investment theory
85.
mechanism design theory
86.
meso-foundational theory
87.
micro-foundational theory
88.
middle-range theory
89.
modern portfolio theory
90.
network theory
91.
nonlinear shallow water theory
92.
nonlinear shallow-water theory
93.
nonlinear strip theory
94.
nonlinear theory
95.
normal torsion theory
96.
number theory
97.
organization theory
98.
organizational theory
99.
peer‐to‐peer theory
100.
perceived customer value theory
101.
phase field theory
102.
picture theory
103.
protection motivation theory
104.
proto-theory of design
105.
punctuated equilibrium theory
106.
rational choice theory
107.
real options theory
108.
realization theory
109.
reduction theory
110.
refined zigzag theory
111.
regulatory focus theory
112.
sampling theory
113.
scapegoat theory
114.
search and matching theory
115.
self-determination theory
116.
self-determination theory of work motivation
117.
set theory
118.
shallow water theory
119.
shallow‐water theory
120.
sign theory
121.
signalling theory
122.
social exchange theory
123.
social identity theory
124.
social practice theory
125.
social presence theory
126.
social representation theory
127.
social system theory
128.
social systems theory
129.
sociological curriculum theory
130.
S-O-R theory
131.
speech-act theory
132.
stakeholder theory
133.
Stakeholder-oriented decision theory
134.
State Theory
135.
stimulus-organism-response theory
136.
stochastic learning theory
137.
strategic narrative theory
138.
strategic narrative theory
139.
Straussian theory model
140.
structuration theory
141.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
142.
switching theory
143.
synchronous reference frame theory
144.
system theory
145.
systems theory
146.
the RAT theory
147.
theory
148.
theory and practice of meta-modelling with application in healthcare
149.
theory building
150.
theory of accounting
151.
Theory of computation
152.
Theory Of Constraints (TOC)
153.
theory of economic development
154.
theory of inventive problem solving (TRIZ)
155.
theory of natural disaster
156.
Theory of paradox
157.
theory of planned behavior
158.
theory of planned behaviour
159.
theory of signs
160.
theory of value
161.
theory selection
162.
ticked cubical type theory
163.
time-dependent density functional theory (TD-DFT)
164.
type theory
165.
unified theory of acceptance and use of technology
166.
value theory
167.
virtual disc theory
168.
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