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/202)
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
202
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.
housemoney effect prospect theory
115.
iceberg theory of culture
116.
image theory
117.
information theory
118.
innovation theory
119.
institutional theory
120.
intellectual capital theory
121.
interdependence theory
122.
inverse problem theory/applications
123.
inverse problems theory/applications
124.
job search theory
125.
Lawvere theory
126.
layer-wise displacement theory
127.
linear systems theory
128.
maritime investment theory
129.
mechanism design theory
130.
middle-range theory
131.
modern portfolio theory
132.
network theory
133.
nonlinear shallow water theory
134.
nonlinear shallow-water theory
135.
nonlinear strip theory
136.
nonlinear theory
137.
normal torsion theory
138.
number theory
139.
organization theory
140.
organizational theory
141.
peer‐to‐peer theory
142.
perceived customer value theory
143.
phase field theory
144.
picture theory
145.
protection motivation theory
146.
proto-theory of design
147.
punctuated equilibrium theory
148.
rational choice theory
149.
real options theory
150.
realization theory
151.
reduction theory
152.
refined zigzag theory
153.
regulatory focus theory
154.
sampling theory
155.
scapegoat theory
156.
search and matching theory
157.
self-determination theory
158.
self-determination theory of work motivation
159.
set theory
160.
shallow water theory
161.
shallow‐water theory
162.
sign theory
163.
signalling theory
164.
social identity theory
165.
social practice theory
166.
social presence theory
167.
social representation theory
168.
social system theory
169.
social systems theory
170.
sociological curriculum theory
171.
speech-act theory
172.
stakeholder theory
173.
Stakeholder-oriented decision theory
174.
State Theory
175.
stimulus-organism-response theory
176.
stochastic learning theory
177.
strategic narrative theory
178.
strategic narrative theory
179.
Straussian theory model
180.
structuration theory
181.
switching theory
182.
synchronous reference frame theory
183.
system theory
184.
systems theory
185.
the RAT theory
186.
theory
187.
theory and practice of meta-modelling with application in healthcare
188.
theory of accounting
189.
Theory Of Constraints (TOC)
190.
theory of economic development
191.
theory of inventive problem solving (TRIZ)
192.
theory of natural disaster
193.
Theory of paradox
194.
theory of planned behavior
195.
theory of planned behaviour
196.
theory of signs
197.
theory of value
198.
time-dependent density functional theory (TD-DFT)
199.
unified theory of acceptance and use of technology
200.
value theory
201.
virtual disc theory
202.
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