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