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
type 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/245)
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
book article EST
/
book article ENG
Type-theoretic constructions of the final coalgebra of the finite powerset functor
Veltri, Niccolo
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
2021
/
p. 22:1-22:18
https://doi.org/10.4230/LIPIcs.FSCD.2021.22
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
245
1.
dependent type theory
2.
homotopy type theory
3.
ticked cubical type theory
4.
type theory
5.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
6.
Abel type integral equations
7.
atrium-type buildings
8.
Blackman- and Rogosinski-type approximation processes
9.
Blackman-type approximation processes
10.
Boussinesq-type equation
11.
Boussinesq-type equations
12.
case-type furniture
13.
cell type-specific gene expression
14.
cosine-type approximation processes
15.
direct matrix type
16.
DyP-type peroxidases
17.
effect of cellulose type and DP
18.
electrode type
19.
entity type
20.
external wall type
21.
flow of the “gas–solid particles” type
22.
fluorite-type fluorides
23.
Gauss-Newton-type methods
24.
Gauss–Newton-type methods
25.
generalized Kantorovich-type sampling operators
26.
grounding type
27.
hypercholesterolemia type II
28.
ideal type
29.
industry type
30.
massive machine type communication (mMTC)
31.
massive machine-type communication (mMTC)
32.
massive machine-type communication devices (mMTC)
33.
massive machine-type communications (mMTC)
34.
massive Machine-Type connections (mMTC)
35.
mixed type building
36.
multi-type dislocation substructure
37.
narcolepsy type 1
38.
optical water type
39.
Piston type wave maker
40.
porcine circovirus type 2 (PCV2) ORF3
41.
porcine circovirus type-2
42.
proprotein convertase subtilisin/kexin type 9
43.
proprotein convertase subtilisin−kexin type (9PCSK9)
44.
p-type
45.
p-type 4H-SiC
46.
p-type transparent semiconductor
47.
quasi-impedance-source inverter (3L-T-type qZS inverter)
48.
quasi-impedance-source T-type inverters
49.
recurrence type
50.
Reetz-Keck-type allylation
51.
Rogosinski-type approximation processes
52.
R-type anion currents
53.
ryanodine receptor type-2 (RyR)
54.
singular integral of Fejér's type
55.
spoke-type PM machine
56.
Swiss-type cheese
57.
three-level T-type
58.
three-level T-type inverter
59.
timber saddle-shaped (hypar-type) shell roof
60.
transparent p-type electrode
61.
T-type inverter
62.
type
63.
type 2 diabetes mellitus
64.
type I collagen
65.
type Q semigroups
66.
type V hyperlipidemia
67.
type vs. occurrence-referential notations
68.
type vs. occurrence-referentiality
69.
type-2-diabetes
70.
type-driven development
71.
WordNet type dictionaries
72.
3-level T-type inverter
73.
a coherent theory of proofs
74.
activity theory
75.
adaptive structuration theory (AST)
76.
algebraic number theory
77.
algebraic theory
78.
algorithm design and theory
79.
beam theory
80.
behavioral reasoning theory
81.
bicategory theory
82.
Biot theory
83.
Bond theory
84.
Boolean Algebra Meets Graph-Theory
85.
catastrophe theory
86.
category theory
87.
chaos theory
88.
coding theory
89.
cognitive theory
90.
commitment theory
91.
communication channels (information theory)
92.
Complex systems theory
93.
complexity leadership theory
94.
complexity theory
95.
computation theory
96.
computer softwaregraph theory
97.
conservation of resources theory
98.
Consumer Culture Theory
99.
control and systems theory
100.
control theory
101.
Cooper-Helmstetter cell cycle theory
102.
cosmology theory
103.
cosmology: theory
104.
critical theory of technology
105.
cultural theory of international relations
106.
dark matter theory
107.
decision theory
108.
Dempster-Shafer theory
109.
Demster-Shafer Theory
110.
density functional theory
111.
density functional theory (DFT)
112.
design theory
113.
Dezert–Smarandache theory
114.
development theory
115.
Digital Government Theory: Development and Application
116.
dispersive theory
117.
domain theory
118.
dual-process theory
119.
Dynamic capability theory
120.
ecological systems theory
121.
economic theory
122.
end of theory
123.
energetic impact theory
124.
engaged theory
125.
enriched category theory
126.
Euler Bernoulli beams theory
127.
evolutionary theory of policy capacity
128.
Flow theory
129.
formal category theory
130.
formal language theory
131.
fully nonlinear potential theory
132.
game theory
133.
general systems theory
134.
general theory of information transfer
135.
general vibration theory
136.
graph theory
137.
gravitational waves / theory
138.
grounded theory
139.
group theory
140.
group threat theory
141.
higher-order beam theory
142.
History and Theory
143.
homotopy theory
144.
housemoney effect prospect theory
145.
iceberg theory of culture
146.
image theory
147.
information theory
148.
innovation theory
149.
institutional theory
150.
intellectual capital theory
151.
interdependence theory
152.
inverse problem theory/applications
153.
inverse problems theory/applications
154.
job search theory
155.
language theory
156.
Lawvere theory
157.
layer-wise displacement theory
158.
linear systems theory
159.
macro-foundational theory
160.
maritime investment theory
161.
mechanism design theory
162.
meso-foundational theory
163.
micro-foundational theory
164.
middle-range theory
165.
mindlin plate theory
166.
modern portfolio theory
167.
network theory
168.
nonlinear shallow water theory
169.
nonlinear shallow-water theory
170.
nonlinear strip theory
171.
nonlinear theory
172.
normal torsion theory
173.
number theory
174.
organismic integration theory
175.
organization theory
176.
organizational theory
177.
peer‐to‐peer theory
178.
perceived customer value theory
179.
phase field theory
180.
picture theory
181.
protection motivation theory
182.
proto-theory of design
183.
public administration theory
184.
punctuated equilibrium theory
185.
rational choice theory
186.
real options theory
187.
realization theory
188.
reduction theory
189.
refined zigzag theory
190.
regulatory focus theory
191.
sampling theory
192.
scapegoat theory
193.
search and matching theory
194.
self-determination theory
195.
self-determination theory of work motivation
196.
set theory
197.
shallow water theory
198.
shallow‐water theory
199.
sign theory
200.
signalling theory
201.
social exchange theory
202.
social identity theory
203.
social practice theory
204.
social presence theory
205.
social representation theory
206.
social system theory
207.
social systems theory
208.
sociological curriculum theory
209.
S-O-R theory
210.
speech-act theory
211.
stakeholder theory
212.
Stakeholder-oriented decision theory
213.
State Theory
214.
stimulus-organism-response theory
215.
stochastic learning theory
216.
strategic narrative theory
217.
strategic narrative theory
218.
Straussian theory model
219.
structuration theory
220.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
221.
switching theory
222.
synchronous reference frame theory
223.
system theory
224.
systems theory
225.
the RAT theory
226.
theory
227.
theory and practice of meta-modelling with application in healthcare
228.
theory building
229.
theory of accounting
230.
Theory of computation
231.
Theory Of Constraints (TOC)
232.
theory of economic development
233.
theory of inventive problem solving (TRIZ)
234.
theory of natural disaster
235.
Theory of paradox
236.
theory of planned behavior
237.
theory of planned behaviour
238.
theory of signs
239.
theory of value
240.
theory selection
241.
time-dependent density functional theory (TD-DFT)
242.
unified theory of acceptance and use of technology
243.
value theory
244.
virtual disc theory
245.
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