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/243)
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
243
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.
ecological systems theory
120.
economic theory
121.
end of theory
122.
energetic impact theory
123.
engaged theory
124.
enriched category theory
125.
Euler Bernoulli beams theory
126.
evolutionary theory of policy capacity
127.
Flow theory
128.
formal category theory
129.
formal language theory
130.
fully nonlinear potential theory
131.
game theory
132.
general systems theory
133.
general theory of information transfer
134.
general vibration theory
135.
graph theory
136.
gravitational waves / theory
137.
grounded theory
138.
group theory
139.
group threat theory
140.
higher-order beam theory
141.
History and Theory
142.
housemoney effect prospect theory
143.
iceberg theory of culture
144.
image theory
145.
information theory
146.
innovation theory
147.
institutional theory
148.
intellectual capital theory
149.
interdependence theory
150.
inverse problem theory/applications
151.
inverse problems theory/applications
152.
job search theory
153.
language theory
154.
Lawvere theory
155.
layer-wise displacement theory
156.
linear systems theory
157.
macro-foundational theory
158.
maritime investment theory
159.
mechanism design theory
160.
meso-foundational theory
161.
micro-foundational theory
162.
middle-range theory
163.
mindlin plate theory
164.
modern portfolio theory
165.
network theory
166.
nonlinear shallow water theory
167.
nonlinear shallow-water theory
168.
nonlinear strip theory
169.
nonlinear theory
170.
normal torsion theory
171.
number theory
172.
organismic integration theory
173.
organization theory
174.
organizational theory
175.
peer‐to‐peer theory
176.
perceived customer value theory
177.
phase field theory
178.
picture theory
179.
protection motivation theory
180.
proto-theory of design
181.
public administration theory
182.
punctuated equilibrium theory
183.
rational choice theory
184.
real options theory
185.
realization theory
186.
reduction theory
187.
refined zigzag theory
188.
regulatory focus theory
189.
sampling theory
190.
scapegoat theory
191.
search and matching theory
192.
self-determination theory
193.
self-determination theory of work motivation
194.
set theory
195.
shallow water theory
196.
shallow‐water theory
197.
sign theory
198.
signalling theory
199.
social exchange theory
200.
social identity theory
201.
social practice theory
202.
social presence theory
203.
social representation theory
204.
social system theory
205.
social systems theory
206.
sociological curriculum theory
207.
S-O-R theory
208.
speech-act theory
209.
stakeholder theory
210.
Stakeholder-oriented decision theory
211.
State Theory
212.
stimulus-organism-response theory
213.
stochastic learning theory
214.
strategic narrative theory
215.
strategic narrative theory
216.
Straussian theory model
217.
structuration theory
218.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
219.
switching theory
220.
synchronous reference frame theory
221.
system theory
222.
systems theory
223.
the RAT theory
224.
theory
225.
theory and practice of meta-modelling with application in healthcare
226.
theory building
227.
theory of accounting
228.
Theory of computation
229.
Theory Of Constraints (TOC)
230.
theory of economic development
231.
theory of inventive problem solving (TRIZ)
232.
theory of natural disaster
233.
Theory of paradox
234.
theory of planned behavior
235.
theory of planned behaviour
236.
theory of signs
237.
theory of value
238.
theory selection
239.
time-dependent density functional theory (TD-DFT)
240.
unified theory of acceptance and use of technology
241.
value theory
242.
virtual disc theory
243.
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