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