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
dependent type theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
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
3
Look more..
(1/262)
Export
export all inquiry results
(3)
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
Bicategories in univalent foundations
Ahrens, Benedikt
;
Frumin, Dan
;
Maggesi, Marco
;
Veltri, Niccolo
;
Weide, Niels van der
arXiv.org
2020
/
32 p
https://doi.org/10.4230/LIPIcs.FSCD.2019.5
journal article
2
journal article EST
/
journal article ENG
Bicategories in univalent foundations
Ahrens, Benedikt
;
Frumin, Dan
;
Maggesi, Marco
;
Veltri, Niccolo
;
Weide, Niels van der
Mathematical Structures in Computer Science
2022
https://doi.org/10.1017/S0960129522000032
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
3
journal article EST
/
journal article ENG
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, Bassel
;
Mogelberg, Rasmus Ejlers
;
Veltri, Niccolo
Logical Methods in Computer Science
2020
/
p. 17:1 - 17:31
https://doi.org/10.23638/LMCS-16(4:17)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 3, displaying
1 - 3
keyword
262
1.
dependent type theory
2.
time-dependent density functional theory (TD-DFT)
3.
homotopy type theory
4.
ticked cubical type theory
5.
type theory
6.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
7.
activity-dependent
8.
calcium/calmodulin-dependent kinase kinase 2 (CaMKKb)
9.
cAMP-dependent protein kinase
10.
depth-dependent roughness
11.
frequency-dependent attenuation
12.
groundwater dependent ecosystems
13.
Rho-dependent protein kinase
14.
scale-dependent processes
15.
space-dependent coefficients
16.
space-dependent diffusivity
17.
time-dependent drift
18.
voltage dependent anion channel
19.
voltage-dependent anion channel VDAC
20.
Abel type integral equations
21.
atrium-type buildings
22.
Blackman- and Rogosinski-type approximation processes
23.
Blackman-type approximation processes
24.
Boussinesq-type equation
25.
Boussinesq-type equations
26.
bridge-type FCL
27.
case-type furniture
28.
cell type-specific gene expression
29.
cosine-type approximation processes
30.
direct matrix type
31.
DyP-type peroxidases
32.
effect of cellulose type and DP
33.
electrode type
34.
entity type
35.
external wall type
36.
flow of the “gas–solid particles” type
37.
fluorite-type fluorides
38.
Gauss-Newton-type methods
39.
Gauss–Newton-type methods
40.
generalized Kantorovich-type sampling operators
41.
grounding type
42.
hypercholesterolemia type II
43.
ideal type
44.
industry type
45.
massive machine type communication (mMTC)
46.
massive machine-type communication (mMTC)
47.
massive machine-type communication devices (mMTC)
48.
massive machine-type communications (mMTC)
49.
massive Machine-Type connections (mMTC)
50.
mixed type building
51.
multi-type dislocation substructure
52.
narcolepsy type 1
53.
optical water type
54.
Piston type wave maker
55.
porcine circovirus type 2 (PCV2) ORF3
56.
porcine circovirus type-2
57.
proprotein convertase subtilisin/kexin type 9
58.
proprotein convertase subtilisin−kexin type (9PCSK9)
59.
p-type
60.
p-type 4H-SiC
61.
p-type transparent semiconductor
62.
quasi-impedance-source inverter (3L-T-type qZS inverter)
63.
quasi-impedance-source T-type inverters
64.
recurrence type
65.
Reetz-Keck-type allylation
66.
Rogosinski-type approximation processes
67.
R-type anion currents
68.
ryanodine receptor type-2 (RyR)
69.
singular integral of Fejér's type
70.
spoke-type PM machine
71.
Swiss-type cheese
72.
three-level T-type
73.
three-level T-type inverter
74.
timber saddle-shaped (hypar-type) shell roof
75.
transparent p-type electrode
76.
T-type inverter
77.
type
78.
type 2 diabetes mellitus
79.
type I collagen
80.
type Q semigroups
81.
type V hyperlipidemia
82.
type vs. occurrence-referential notations
83.
type vs. occurrence-referentiality
84.
type-2-diabetes
85.
type-driven development
86.
WordNet type dictionaries
87.
3-level T-type inverter
88.
a coherent theory of proofs
89.
action theory
90.
activity theory
91.
adaptive structuration theory (AST)
92.
algebraic number theory
93.
algebraic theory
94.
algorithm design and theory
95.
beam theory
96.
behavioral reasoning theory
97.
bicategory theory
98.
Biot theory
99.
Bond theory
100.
Boolean Algebra Meets Graph-Theory
101.
catastrophe theory
102.
category theory
103.
chaos theory
104.
coding theory
105.
cognitive theory
106.
commitment theory
107.
communication channels (information theory)
108.
Complex systems theory
109.
complexity leadership theory
110.
complexity theory
111.
computation theory
112.
computer softwaregraph theory
113.
conservation of resources theory
114.
consumer culture theory
115.
control and systems theory
116.
control theory
117.
Cooper-Helmstetter cell cycle theory
118.
cosmology theory
119.
cosmology: theory
120.
critical theory of technology
121.
cultural theory of international relations
122.
dark matter theory
123.
decision theory
124.
Dempster-Shafer theory
125.
Demster-Shafer Theory
126.
density functional theory
127.
density functional theory (DFT)
128.
design theory
129.
Dezert–Smarandache theory
130.
development theory
131.
Digital Government Theory: Development and Application
132.
dispersive theory
133.
domain theory
134.
dual-process theory
135.
Dynamic capability theory
136.
dynamic social impact theory (DSIT)
137.
ecological systems theory
138.
economic theory
139.
end of theory
140.
energetic impact theory
141.
engaged theory
142.
enriched category theory
143.
Euler Bernoulli beams theory
144.
evolutionary theory of policy capacity
145.
Flow theory
146.
formal category theory
147.
formal language theory
148.
fully nonlinear potential theory
149.
game theory
150.
general systems theory
151.
general theory of information transfer
152.
general vibration theory
153.
graph theory
154.
gravitational waves / theory
155.
grounded theory
156.
group theory
157.
group threat theory
158.
higher-order beam theory
159.
History and Theory
160.
homotopy theory
161.
housemoney effect prospect theory
162.
iceberg theory of culture
163.
image theory
164.
information theory
165.
innovation theory
166.
institutional theory
167.
intellectual capital theory
168.
interdependence theory
169.
inverse problem theory/applications
170.
inverse problems theory/applications
171.
job search theory
172.
language theory
173.
Lawvere theory
174.
layer-wise displacement theory
175.
linear systems theory
176.
macro-foundational theory
177.
maritime investment theory
178.
mechanism design theory
179.
meso-foundational theory
180.
micro-foundational theory
181.
middle-range theory
182.
mindlin plate theory
183.
modern portfolio theory
184.
network theory
185.
nonlinear shallow water theory
186.
nonlinear shallow-water theory
187.
nonlinear strip theory
188.
nonlinear theory
189.
normal torsion theory
190.
number theory
191.
organismic integration theory
192.
organization theory
193.
organizational theory
194.
peer‐to‐peer theory
195.
perceived customer value theory
196.
phase field theory
197.
picture theory
198.
protection motivation theory
199.
proto-theory of design
200.
public administration theory
201.
punctuated equilibrium theory
202.
quantum theory
203.
rational choice theory
204.
real options theory
205.
realization theory
206.
reduction theory
207.
refined zigzag theory
208.
regulatory focus theory
209.
sampling theory
210.
scapegoat theory
211.
search and matching theory
212.
self-determination theory
213.
self-determination theory of work motivation
214.
set theory
215.
shallow water theory
216.
shallow‐water theory
217.
sign theory
218.
signalling theory
219.
social exchange theory
220.
social identity theory
221.
social practice theory
222.
social presence theory
223.
social representation theory
224.
social system theory
225.
social systems theory
226.
sociological curriculum theory
227.
S-O-R theory
228.
speech-act theory
229.
stakeholder theory
230.
Stakeholder-oriented decision theory
231.
State Theory
232.
stimulus-organism-response theory
233.
stochastic learning theory
234.
strategic narrative theory
235.
strategic narrative theory
236.
Straussian theory model
237.
structuration theory
238.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
239.
switching theory
240.
synchronous reference frame theory
241.
system theory
242.
systems theory
243.
the RAT theory
244.
theory
245.
theory and practice of meta-modelling with application in healthcare
246.
theory building
247.
theory of accounting
248.
Theory of computation
249.
Theory Of Constraints (TOC)
250.
theory of economic development
251.
theory of inventive problem solving (TRIZ)
252.
theory of natural disaster
253.
Theory of paradox
254.
theory of planned behavior
255.
theory of planned behaviour
256.
theory of signs
257.
theory of value
258.
theory selection
259.
unified theory of acceptance and use of technology
260.
value theory
261.
virtual disc theory
262.
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