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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/218)
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
218
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 2 diabetes mellitus
58.
type I collagen
59.
type Q semigroups
60.
type V hyperlipidemia
61.
type vs. occurrence-referential notations
62.
type vs. occurrence-referentiality
63.
type-2-diabetes
64.
type-driven development
65.
WordNet type dictionaries
66.
3-level T-type inverter
67.
a coherent theory of proofs
68.
activity theory
69.
adaptive structuration theory (AST)
70.
algebraic number theory
71.
algebraic theory
72.
algorithm design and theory
73.
beam theory
74.
behavioral reasoning theory
75.
bicategory theory
76.
Boolean Algebra Meets Graph-Theory
77.
catastrophe theory
78.
category theory
79.
chaos theory
80.
coding theory
81.
cognitive theory
82.
commitment theory
83.
communication channels (information theory)
84.
complexity leadership theory
85.
complexity theory
86.
computation theory
87.
computer softwaregraph theory
88.
conservation of resources theory
89.
Consumer Culture Theory
90.
control theory
91.
Cooper-Helmstetter cell cycle theory
92.
cosmology: theory
93.
critical theory of technology
94.
cultural theory of international relations
95.
dark matter theory
96.
decision theory
97.
Dempster-Shafer theory
98.
Demster-Shafer Theory
99.
density functional theory
100.
density functional theory (DFT)
101.
design theory
102.
development theory
103.
Digital Government Theory: Development and Application
104.
dispersive theory
105.
domain theory
106.
ecological systems theory
107.
economic theory
108.
end of theory
109.
energetic impact theory
110.
enriched category theory
111.
evolutionary theory of policy capacity
112.
Flow theory
113.
formal category theory
114.
formal language theory
115.
fully nonlinear potential theory
116.
game theory
117.
general systems theory
118.
general theory of information transfer
119.
general vibration theory
120.
graph theory
121.
gravitational waves / theory
122.
grounded theory
123.
group theory
124.
group threat theory
125.
higher-order beam theory
126.
History and Theory
127.
housemoney effect prospect theory
128.
iceberg theory of culture
129.
image theory
130.
information theory
131.
innovation theory
132.
institutional theory
133.
intellectual capital theory
134.
interdependence theory
135.
inverse problem theory/applications
136.
inverse problems theory/applications
137.
job search theory
138.
Lawvere theory
139.
layer-wise displacement theory
140.
linear systems theory
141.
maritime investment theory
142.
mechanism design theory
143.
middle-range theory
144.
modern portfolio theory
145.
network theory
146.
nonlinear shallow water theory
147.
nonlinear shallow-water theory
148.
nonlinear strip theory
149.
nonlinear theory
150.
normal torsion theory
151.
number theory
152.
organization theory
153.
organizational theory
154.
peer‐to‐peer theory
155.
perceived customer value theory
156.
phase field theory
157.
picture theory
158.
protection motivation theory
159.
proto-theory of design
160.
punctuated equilibrium theory
161.
rational choice theory
162.
real options theory
163.
realization theory
164.
reduction theory
165.
refined zigzag theory
166.
regulatory focus theory
167.
sampling theory
168.
scapegoat theory
169.
search and matching theory
170.
self-determination theory
171.
self-determination theory of work motivation
172.
set theory
173.
shallow water theory
174.
shallow‐water theory
175.
sign theory
176.
signalling theory
177.
social identity theory
178.
social practice theory
179.
social presence theory
180.
social representation theory
181.
social system theory
182.
social systems theory
183.
sociological curriculum theory
184.
S-O-R theory
185.
speech-act theory
186.
stakeholder theory
187.
Stakeholder-oriented decision theory
188.
State Theory
189.
stimulus-organism-response theory
190.
stochastic learning theory
191.
strategic narrative theory
192.
strategic narrative theory
193.
Straussian theory model
194.
structuration theory
195.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
196.
switching theory
197.
synchronous reference frame theory
198.
system theory
199.
systems theory
200.
the RAT theory
201.
theory
202.
theory and practice of meta-modelling with application in healthcare
203.
theory of accounting
204.
Theory of computation
205.
Theory Of Constraints (TOC)
206.
theory of economic development
207.
theory of inventive problem solving (TRIZ)
208.
theory of natural disaster
209.
Theory of paradox
210.
theory of planned behavior
211.
theory of planned behaviour
212.
theory of signs
213.
theory of value
214.
time-dependent density functional theory (TD-DFT)
215.
unified theory of acceptance and use of technology
216.
value theory
217.
virtual disc theory
218.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT