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