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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(1/208)
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
208
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.
cAMP-dependent protein kinase
9.
depth-dependent roughness
10.
frequency-dependent attenuation
11.
groundwater dependent ecosystems
12.
Rho-dependent protein kinase
13.
scale-dependent processes
14.
space-dependent coefficients
15.
space-dependent diffusivity
16.
time-dependent drift
17.
voltage-dependent anion channel VDAC
18.
Abel type integral equations
19.
atrium-type buildings
20.
Blackman- and Rogosinski-type approximation processes
21.
Blackman-type approximation processes
22.
Boussinesq-type equation
23.
Boussinesq-type equations
24.
case-type furniture
25.
cell type-specific gene expression
26.
cosine-type approximation processes
27.
direct matrix type
28.
electrode type
29.
entity type
30.
flow of the “gas–solid particles” type
31.
fluorite-type fluorides
32.
Gauss-Newton-type methods
33.
Gauss–Newton-type methods
34.
generalized Kantorovich-type sampling operators
35.
ideal type
36.
massive machine-type communication (mMTC)
37.
massive machine-type communications (mMTC)
38.
massive Machine-Type connections (mMTC)
39.
mixed type building
40.
multi-type dislocation substructure
41.
narcolepsy type 1
42.
optical water type
43.
Piston type wave maker
44.
porcine circovirus type 2 (PCV2) ORF3
45.
porcine circovirus type-2
46.
proprotein convertase subtilisin/kexin type 9
47.
proprotein convertase subtilisin−kexin type (9PCSK9)
48.
p-type 4H-SiC
49.
p-type transparent semiconductor
50.
quasi-impedance-source inverter (3L-T-type qZS inverter)
51.
quasi-impedance-source T-type inverters
52.
Reetz-Keck-type allylation
53.
Rogosinski-type approximation processes
54.
R-type anion currents
55.
singular integral of Fejér's type
56.
three-level T-type
57.
three-level T-type inverter
58.
timber saddle-shaped (hypar-type) shell roof
59.
transparent p-type electrode
60.
T-type inverter
61.
type 2 diabetes mellitus
62.
type I collagen
63.
type Q semigroups
64.
type V hyperlipidemia
65.
type vs. occurrence-referential notations
66.
type vs. occurrence-referentiality
67.
type-2-diabetes
68.
WordNet type dictionaries
69.
3-level T-type inverter
70.
a coherent theory of proofs
71.
activity theory
72.
adaptive structuration theory (AST)
73.
algebraic theory
74.
algorithm design and theory
75.
beam theory
76.
bicategory theory
77.
catastrophe theory
78.
category theory
79.
chaos theory
80.
coding theory
81.
cognitive theory
82.
commitment theory
83.
communication channels (information theory)
84.
complexity leadership theory
85.
complexity theory
86.
computer softwaregraph theory
87.
conservation of resources theory
88.
Consumer Culture Theory
89.
control theory
90.
Cooper-Helmstetter cell cycle theory
91.
cosmology: theory
92.
critical theory of technology
93.
cultural theory of international relations
94.
dark matter theory
95.
decision theory
96.
Dempster-Shafer theory
97.
Demster-Shafer Theory
98.
density functional theory
99.
design theory
100.
development theory
101.
Digital Government Theory: Development and Application
102.
dispersive theory
103.
domain theory
104.
ecological systems theory
105.
economic theory
106.
end of theory
107.
energetic impact theory
108.
evolutionary theory of policy capacity
109.
Flow theory
110.
formal language theory
111.
fully nonlinear potential theory
112.
game theory
113.
general systems theory
114.
general theory of information transfer
115.
general vibration theory
116.
graph theory
117.
gravitational waves / theory
118.
grounded theory
119.
group theory
120.
group threat theory
121.
higher-order beam theory
122.
History and Theory
123.
housemoney effect prospect theory
124.
iceberg theory of culture
125.
image theory
126.
information theory
127.
innovation theory
128.
institutional theory
129.
intellectual capital theory
130.
interdependence theory
131.
inverse problem theory/applications
132.
inverse problems theory/applications
133.
job search theory
134.
Lawvere theory
135.
layer-wise displacement theory
136.
linear systems theory
137.
maritime investment theory
138.
mechanism design theory
139.
middle-range theory
140.
modern portfolio theory
141.
network theory
142.
nonlinear shallow water theory
143.
nonlinear shallow-water theory
144.
nonlinear strip theory
145.
nonlinear theory
146.
normal torsion theory
147.
number theory
148.
organization theory
149.
organizational theory
150.
peer‐to‐peer theory
151.
perceived customer value theory
152.
phase field theory
153.
picture theory
154.
protection motivation theory
155.
proto-theory of design
156.
punctuated equilibrium theory
157.
rational choice theory
158.
real options theory
159.
realization theory
160.
refined zigzag theory
161.
regulatory focus theory
162.
sampling theory
163.
scapegoat theory
164.
search and matching theory
165.
self-determination theory
166.
self-determination theory of work motivation
167.
shallow water theory
168.
shallow‐water theory
169.
sign theory
170.
signalling theory
171.
social identity theory
172.
social practice theory
173.
social presence theory
174.
social representation theory
175.
social system theory
176.
social systems theory
177.
sociological curriculum theory
178.
speech-act theory
179.
stakeholder theory
180.
Stakeholder-oriented decision theory
181.
State Theory
182.
stimulus-organism-response theory
183.
stochastic learning theory
184.
strategic narrative theory
185.
strategic narrative theory
186.
Straussian theory model
187.
structuration theory
188.
switching theory
189.
synchronous reference frame theory
190.
system theory
191.
systems theory
192.
the RAT theory
193.
theory
194.
theory and practice of meta-modelling with application in healthcare
195.
theory of accounting
196.
Theory Of Constraints (TOC)
197.
theory of economic development
198.
theory of inventive problem solving (TRIZ)
199.
theory of natural disaster
200.
Theory of paradox
201.
theory of planned behavior
202.
theory of planned behaviour
203.
theory of signs
204.
theory of value
205.
unified theory of acceptance and use of technology
206.
value theory
207.
virtual disc theory
208.
2D+T theory
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT