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