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