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
Advanced search
My bookmarks
0
type theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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/203)
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
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
203
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.
electrode type
17.
entity type
18.
flow of the “gas–solid particles” type
19.
fluorite-type fluorides
20.
Gauss-Newton-type methods
21.
Gauss–Newton-type methods
22.
generalized Kantorovich-type sampling operators
23.
grounding type
24.
ideal type
25.
massive machine-type communication (mMTC)
26.
massive machine-type communications (mMTC)
27.
massive Machine-Type connections (mMTC)
28.
mixed type building
29.
multi-type dislocation substructure
30.
narcolepsy type 1
31.
optical water type
32.
Piston type wave maker
33.
porcine circovirus type 2 (PCV2) ORF3
34.
porcine circovirus type-2
35.
proprotein convertase subtilisin/kexin type 9
36.
proprotein convertase subtilisin−kexin type (9PCSK9)
37.
p-type 4H-SiC
38.
p-type transparent semiconductor
39.
quasi-impedance-source inverter (3L-T-type qZS inverter)
40.
quasi-impedance-source T-type inverters
41.
Reetz-Keck-type allylation
42.
Rogosinski-type approximation processes
43.
R-type anion currents
44.
singular integral of Fejér's type
45.
three-level T-type
46.
three-level T-type inverter
47.
timber saddle-shaped (hypar-type) shell roof
48.
transparent p-type electrode
49.
T-type inverter
50.
type 2 diabetes mellitus
51.
type I collagen
52.
type Q semigroups
53.
type V hyperlipidemia
54.
type vs. occurrence-referential notations
55.
type vs. occurrence-referentiality
56.
type-2-diabetes
57.
WordNet type dictionaries
58.
3-level T-type inverter
59.
a coherent theory of proofs
60.
activity theory
61.
adaptive structuration theory (AST)
62.
algebraic number theory
63.
algebraic theory
64.
algorithm design and theory
65.
beam theory
66.
bicategory theory
67.
catastrophe theory
68.
category theory
69.
chaos theory
70.
coding theory
71.
cognitive theory
72.
commitment theory
73.
communication channels (information theory)
74.
complexity leadership theory
75.
complexity theory
76.
computation theory
77.
computer softwaregraph theory
78.
conservation of resources theory
79.
Consumer Culture Theory
80.
control theory
81.
Cooper-Helmstetter cell cycle theory
82.
cosmology: theory
83.
critical theory of technology
84.
cultural theory of international relations
85.
dark matter theory
86.
decision theory
87.
Dempster-Shafer theory
88.
Demster-Shafer Theory
89.
density functional theory
90.
design theory
91.
development theory
92.
Digital Government Theory: Development and Application
93.
dispersive theory
94.
domain theory
95.
ecological systems theory
96.
economic theory
97.
end of theory
98.
energetic impact theory
99.
evolutionary theory of policy capacity
100.
Flow theory
101.
formal language theory
102.
fully nonlinear potential theory
103.
game theory
104.
general systems theory
105.
general theory of information transfer
106.
general vibration theory
107.
graph theory
108.
gravitational waves / theory
109.
grounded theory
110.
group theory
111.
group threat theory
112.
higher-order beam theory
113.
History and Theory
114.
homotopy theory
115.
housemoney effect prospect theory
116.
iceberg theory of culture
117.
image theory
118.
information theory
119.
innovation theory
120.
institutional theory
121.
intellectual capital theory
122.
interdependence theory
123.
inverse problem theory/applications
124.
inverse problems theory/applications
125.
job search theory
126.
Lawvere theory
127.
layer-wise displacement theory
128.
linear systems theory
129.
maritime investment theory
130.
mechanism design theory
131.
middle-range theory
132.
modern portfolio theory
133.
network theory
134.
nonlinear shallow water theory
135.
nonlinear shallow-water theory
136.
nonlinear strip theory
137.
nonlinear theory
138.
normal torsion theory
139.
number theory
140.
organization theory
141.
organizational theory
142.
peer‐to‐peer theory
143.
perceived customer value theory
144.
phase field theory
145.
picture theory
146.
protection motivation theory
147.
proto-theory of design
148.
punctuated equilibrium theory
149.
rational choice theory
150.
real options theory
151.
realization theory
152.
reduction theory
153.
refined zigzag theory
154.
regulatory focus theory
155.
sampling theory
156.
scapegoat theory
157.
search and matching theory
158.
self-determination theory
159.
self-determination theory of work motivation
160.
set theory
161.
shallow water theory
162.
shallow‐water theory
163.
sign theory
164.
signalling theory
165.
social identity theory
166.
social practice theory
167.
social presence theory
168.
social representation theory
169.
social system theory
170.
social systems theory
171.
sociological curriculum theory
172.
speech-act theory
173.
stakeholder theory
174.
Stakeholder-oriented decision theory
175.
State Theory
176.
stimulus-organism-response theory
177.
stochastic learning theory
178.
strategic narrative theory
179.
strategic narrative theory
180.
Straussian theory model
181.
structuration theory
182.
switching theory
183.
synchronous reference frame theory
184.
system theory
185.
systems theory
186.
the RAT theory
187.
theory
188.
theory and practice of meta-modelling with application in healthcare
189.
theory of accounting
190.
Theory Of Constraints (TOC)
191.
theory of economic development
192.
theory of inventive problem solving (TRIZ)
193.
theory of natural disaster
194.
Theory of paradox
195.
theory of planned behavior
196.
theory of planned behaviour
197.
theory of signs
198.
theory of value
199.
time-dependent density functional theory (TD-DFT)
200.
unified theory of acceptance and use of technology
201.
value theory
202.
virtual disc theory
203.
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