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