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
bicategory 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 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/178)
Export
export all inquiry results
(2)
Save TXT 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, Niccolo
;
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
178
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.
Dezert–Smarandache theory
43.
development theory
44.
Digital Government Theory: Development and Application
45.
dispersive theory
46.
domain theory
47.
dual-process theory
48.
Dynamic capability theory
49.
dynamic social impact theory (DSIT)
50.
ecological systems theory
51.
economic theory
52.
end of theory
53.
energetic impact theory
54.
engaged theory
55.
enriched category theory
56.
Euler Bernoulli beams theory
57.
evolutionary theory of policy capacity
58.
Flow theory
59.
formal category theory
60.
formal language theory
61.
fully nonlinear potential theory
62.
game theory
63.
general systems theory
64.
general theory of information transfer
65.
general vibration theory
66.
graph theory
67.
gravitational waves / theory
68.
grounded theory
69.
group theory
70.
group threat theory
71.
higher-order beam theory
72.
History and Theory
73.
homotopy theory
74.
homotopy type theory
75.
housemoney effect prospect theory
76.
iceberg theory of culture
77.
image theory
78.
information theory
79.
innovation theory
80.
institutional theory
81.
intellectual capital theory
82.
interdependence theory
83.
inverse problem theory/applications
84.
inverse problems theory/applications
85.
job search theory
86.
language theory
87.
Lawvere theory
88.
layer-wise displacement theory
89.
linear systems theory
90.
macro-foundational theory
91.
maritime investment theory
92.
mechanism design theory
93.
meso-foundational theory
94.
micro-foundational theory
95.
middle-range theory
96.
mindlin plate theory
97.
modern portfolio theory
98.
network theory
99.
nonlinear shallow water theory
100.
nonlinear shallow-water theory
101.
nonlinear strip theory
102.
nonlinear theory
103.
normal torsion theory
104.
number theory
105.
organismic integration theory
106.
organization theory
107.
organizational theory
108.
peer‐to‐peer theory
109.
perceived customer value theory
110.
phase field theory
111.
picture theory
112.
protection motivation theory
113.
proto-theory of design
114.
public administration theory
115.
punctuated equilibrium theory
116.
rational choice theory
117.
real options theory
118.
realization theory
119.
reduction theory
120.
refined zigzag theory
121.
regulatory focus theory
122.
sampling theory
123.
scapegoat theory
124.
search and matching theory
125.
self-determination theory
126.
self-determination theory of work motivation
127.
set theory
128.
shallow water theory
129.
shallow‐water theory
130.
sign theory
131.
signalling theory
132.
social exchange theory
133.
social identity theory
134.
social practice theory
135.
social presence theory
136.
social representation theory
137.
social system theory
138.
social systems theory
139.
sociological curriculum theory
140.
S-O-R theory
141.
speech-act theory
142.
stakeholder theory
143.
Stakeholder-oriented decision theory
144.
State Theory
145.
stimulus-organism-response theory
146.
stochastic learning theory
147.
strategic narrative theory
148.
strategic narrative theory
149.
Straussian theory model
150.
structuration theory
151.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
152.
switching theory
153.
synchronous reference frame theory
154.
system theory
155.
systems theory
156.
the RAT theory
157.
theory
158.
theory and practice of meta-modelling with application in healthcare
159.
theory building
160.
theory of accounting
161.
Theory of computation
162.
Theory Of Constraints (TOC)
163.
theory of economic development
164.
theory of inventive problem solving (TRIZ)
165.
theory of natural disaster
166.
Theory of paradox
167.
theory of planned behavior
168.
theory of planned behaviour
169.
theory of signs
170.
theory of value
171.
theory selection
172.
ticked cubical type theory
173.
time-dependent density functional theory (TD-DFT)
174.
type theory
175.
unified theory of acceptance and use of technology
176.
value theory
177.
virtual disc theory
178.
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