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