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