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