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