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
Lawvere 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/168)
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
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
journal article EST
/
journal article ENG
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
Number of records 1, displaying
1 - 1
keyword
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
×
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