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