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