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/247)
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
247
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.
rational choice theory
188.
real options theory
189.
realization theory
190.
reduction theory
191.
refined zigzag theory
192.
regulatory focus theory
193.
sampling theory
194.
scapegoat theory
195.
search and matching theory
196.
self-determination theory
197.
self-determination theory of work motivation
198.
set theory
199.
shallow water theory
200.
shallow‐water theory
201.
sign theory
202.
signalling theory
203.
social exchange theory
204.
social identity theory
205.
social practice theory
206.
social presence theory
207.
social representation theory
208.
social system theory
209.
social systems theory
210.
sociological curriculum theory
211.
S-O-R theory
212.
speech-act theory
213.
stakeholder theory
214.
Stakeholder-oriented decision theory
215.
State Theory
216.
stimulus-organism-response theory
217.
stochastic learning theory
218.
strategic narrative theory
219.
strategic narrative theory
220.
Straussian theory model
221.
structuration theory
222.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
223.
switching theory
224.
synchronous reference frame theory
225.
system theory
226.
systems theory
227.
the RAT theory
228.
theory
229.
theory and practice of meta-modelling with application in healthcare
230.
theory building
231.
theory of accounting
232.
Theory of computation
233.
Theory Of Constraints (TOC)
234.
theory of economic development
235.
theory of inventive problem solving (TRIZ)
236.
theory of natural disaster
237.
Theory of paradox
238.
theory of planned behavior
239.
theory of planned behaviour
240.
theory of signs
241.
theory of value
242.
theory selection
243.
time-dependent density functional theory (TD-DFT)
244.
unified theory of acceptance and use of technology
245.
value theory
246.
virtual disc theory
247.
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