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