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