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/261)
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
261
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.
activity theory
90.
adaptive structuration theory (AST)
91.
algebraic number theory
92.
algebraic theory
93.
algorithm design and theory
94.
beam theory
95.
behavioral reasoning theory
96.
bicategory theory
97.
Biot theory
98.
Bond theory
99.
Boolean Algebra Meets Graph-Theory
100.
catastrophe theory
101.
category theory
102.
chaos theory
103.
coding theory
104.
cognitive theory
105.
commitment theory
106.
communication channels (information theory)
107.
Complex systems theory
108.
complexity leadership theory
109.
complexity theory
110.
computation theory
111.
computer softwaregraph theory
112.
conservation of resources theory
113.
consumer culture theory
114.
control and systems theory
115.
control theory
116.
Cooper-Helmstetter cell cycle theory
117.
cosmology theory
118.
cosmology: theory
119.
critical theory of technology
120.
cultural theory of international relations
121.
dark matter theory
122.
decision theory
123.
Dempster-Shafer theory
124.
Demster-Shafer Theory
125.
density functional theory
126.
density functional theory (DFT)
127.
design theory
128.
Dezert–Smarandache theory
129.
development theory
130.
Digital Government Theory: Development and Application
131.
dispersive theory
132.
domain theory
133.
dual-process theory
134.
Dynamic capability theory
135.
dynamic social impact theory (DSIT)
136.
ecological systems theory
137.
economic theory
138.
end of theory
139.
energetic impact theory
140.
engaged theory
141.
enriched category theory
142.
Euler Bernoulli beams theory
143.
evolutionary theory of policy capacity
144.
Flow theory
145.
formal category theory
146.
formal language theory
147.
fully nonlinear potential theory
148.
game theory
149.
general systems theory
150.
general theory of information transfer
151.
general vibration theory
152.
graph theory
153.
gravitational waves / theory
154.
grounded theory
155.
group theory
156.
group threat theory
157.
higher-order beam theory
158.
History and Theory
159.
homotopy theory
160.
housemoney effect prospect theory
161.
iceberg theory of culture
162.
image theory
163.
information theory
164.
innovation theory
165.
institutional theory
166.
intellectual capital theory
167.
interdependence theory
168.
inverse problem theory/applications
169.
inverse problems theory/applications
170.
job search theory
171.
language theory
172.
Lawvere theory
173.
layer-wise displacement theory
174.
linear systems theory
175.
macro-foundational theory
176.
maritime investment theory
177.
mechanism design theory
178.
meso-foundational theory
179.
micro-foundational theory
180.
middle-range theory
181.
mindlin plate theory
182.
modern portfolio theory
183.
network theory
184.
nonlinear shallow water theory
185.
nonlinear shallow-water theory
186.
nonlinear strip theory
187.
nonlinear theory
188.
normal torsion theory
189.
number theory
190.
organismic integration theory
191.
organization theory
192.
organizational theory
193.
peer‐to‐peer theory
194.
perceived customer value theory
195.
phase field theory
196.
picture theory
197.
protection motivation theory
198.
proto-theory of design
199.
public administration theory
200.
punctuated equilibrium theory
201.
quantum theory
202.
rational choice theory
203.
real options theory
204.
realization theory
205.
reduction theory
206.
refined zigzag theory
207.
regulatory focus theory
208.
sampling theory
209.
scapegoat theory
210.
search and matching theory
211.
self-determination theory
212.
self-determination theory of work motivation
213.
set theory
214.
shallow water theory
215.
shallow‐water theory
216.
sign theory
217.
signalling theory
218.
social exchange theory
219.
social identity theory
220.
social practice theory
221.
social presence theory
222.
social representation theory
223.
social system theory
224.
social systems theory
225.
sociological curriculum theory
226.
S-O-R theory
227.
speech-act theory
228.
stakeholder theory
229.
Stakeholder-oriented decision theory
230.
State Theory
231.
stimulus-organism-response theory
232.
stochastic learning theory
233.
strategic narrative theory
234.
strategic narrative theory
235.
Straussian theory model
236.
structuration theory
237.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
238.
switching theory
239.
synchronous reference frame theory
240.
system theory
241.
systems theory
242.
the RAT theory
243.
theory
244.
theory and practice of meta-modelling with application in healthcare
245.
theory building
246.
theory of accounting
247.
Theory of computation
248.
Theory Of Constraints (TOC)
249.
theory of economic development
250.
theory of inventive problem solving (TRIZ)
251.
theory of natural disaster
252.
Theory of paradox
253.
theory of planned behavior
254.
theory of planned behaviour
255.
theory of signs
256.
theory of value
257.
theory selection
258.
unified theory of acceptance and use of technology
259.
value theory
260.
virtual disc theory
261.
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