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