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
bicategory 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
2
Look more..
(1/174)
Export
export all inquiry results
(2)
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
Number of records 2, displaying
1 - 2
keyword
174
1.
bicategory theory
2.
a coherent theory of proofs
3.
activity theory
4.
adaptive structuration theory (AST)
5.
algebraic number theory
6.
algebraic theory
7.
algorithm design and theory
8.
beam theory
9.
behavioral reasoning theory
10.
Biot theory
11.
Bond theory
12.
Boolean Algebra Meets Graph-Theory
13.
catastrophe theory
14.
category theory
15.
chaos theory
16.
coding theory
17.
cognitive theory
18.
commitment theory
19.
communication channels (information theory)
20.
Complex systems theory
21.
complexity leadership theory
22.
complexity theory
23.
computation theory
24.
computer softwaregraph theory
25.
conservation of resources theory
26.
Consumer Culture Theory
27.
control and systems theory
28.
control theory
29.
Cooper-Helmstetter cell cycle theory
30.
cosmology theory
31.
cosmology: theory
32.
critical theory of technology
33.
cultural theory of international relations
34.
dark matter theory
35.
decision theory
36.
Dempster-Shafer theory
37.
Demster-Shafer Theory
38.
density functional theory
39.
density functional theory (DFT)
40.
dependent type theory
41.
design theory
42.
development theory
43.
Digital Government Theory: Development and Application
44.
dispersive theory
45.
domain theory
46.
ecological systems theory
47.
economic theory
48.
end of theory
49.
energetic impact theory
50.
engaged theory
51.
enriched category theory
52.
Euler Bernoulli beams theory
53.
evolutionary theory of policy capacity
54.
Flow theory
55.
formal category theory
56.
formal language theory
57.
fully nonlinear potential theory
58.
game theory
59.
general systems theory
60.
general theory of information transfer
61.
general vibration theory
62.
graph theory
63.
gravitational waves / theory
64.
grounded theory
65.
group theory
66.
group threat theory
67.
higher-order beam theory
68.
History and Theory
69.
homotopy theory
70.
homotopy type theory
71.
housemoney effect prospect theory
72.
iceberg theory of culture
73.
image theory
74.
information theory
75.
innovation theory
76.
institutional theory
77.
intellectual capital theory
78.
interdependence theory
79.
inverse problem theory/applications
80.
inverse problems theory/applications
81.
job search theory
82.
language theory
83.
Lawvere theory
84.
layer-wise displacement theory
85.
linear systems theory
86.
macro-foundational theory
87.
maritime investment theory
88.
mechanism design theory
89.
meso-foundational theory
90.
micro-foundational theory
91.
middle-range theory
92.
mindlin plate theory
93.
modern portfolio theory
94.
network theory
95.
nonlinear shallow water theory
96.
nonlinear shallow-water theory
97.
nonlinear strip theory
98.
nonlinear theory
99.
normal torsion theory
100.
number theory
101.
organismic integration theory
102.
organization theory
103.
organizational theory
104.
peer‐to‐peer theory
105.
perceived customer value theory
106.
phase field theory
107.
picture theory
108.
protection motivation theory
109.
proto-theory of design
110.
public administration theory
111.
punctuated equilibrium theory
112.
rational choice theory
113.
real options theory
114.
realization theory
115.
reduction theory
116.
refined zigzag theory
117.
regulatory focus theory
118.
sampling theory
119.
scapegoat theory
120.
search and matching theory
121.
self-determination theory
122.
self-determination theory of work motivation
123.
set theory
124.
shallow water theory
125.
shallow‐water theory
126.
sign theory
127.
signalling theory
128.
social exchange theory
129.
social identity theory
130.
social practice theory
131.
social presence theory
132.
social representation theory
133.
social system theory
134.
social systems theory
135.
sociological curriculum theory
136.
S-O-R theory
137.
speech-act theory
138.
stakeholder theory
139.
Stakeholder-oriented decision theory
140.
State Theory
141.
stimulus-organism-response theory
142.
stochastic learning theory
143.
strategic narrative theory
144.
strategic narrative theory
145.
Straussian theory model
146.
structuration theory
147.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
148.
switching theory
149.
synchronous reference frame theory
150.
system theory
151.
systems theory
152.
the RAT theory
153.
theory
154.
theory and practice of meta-modelling with application in healthcare
155.
theory building
156.
theory of accounting
157.
Theory of computation
158.
Theory Of Constraints (TOC)
159.
theory of economic development
160.
theory of inventive problem solving (TRIZ)
161.
theory of natural disaster
162.
Theory of paradox
163.
theory of planned behavior
164.
theory of planned behaviour
165.
theory of signs
166.
theory of value
167.
theory selection
168.
ticked cubical type theory
169.
time-dependent density functional theory (TD-DFT)
170.
type theory
171.
unified theory of acceptance and use of technology
172.
value theory
173.
virtual disc theory
174.
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