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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/143)
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
143
1.
bicategory theory
2.
a coherent theory of proofs
3.
activity theory
4.
adaptive structuration theory (AST)
5.
algebraic theory
6.
algorithm design and theory
7.
beam theory
8.
catastrophe theory
9.
category theory
10.
chaos theory
11.
coding theory
12.
cognitive theory
13.
commitment theory
14.
communication channels (information theory)
15.
complexity leadership theory
16.
complexity theory
17.
computer softwaregraph theory
18.
conservation of resources theory
19.
Consumer Culture Theory
20.
control theory
21.
Cooper-Helmstetter cell cycle theory
22.
cosmology: theory
23.
critical theory of technology
24.
cultural theory of international relations
25.
dark matter theory
26.
decision theory
27.
Dempster-Shafer theory
28.
Demster-Shafer Theory
29.
density functional theory
30.
dependent type theory
31.
design theory
32.
development theory
33.
Digital Government Theory: Development and Application
34.
dispersive theory
35.
domain theory
36.
ecological systems theory
37.
economic theory
38.
end of theory
39.
energetic impact theory
40.
evolutionary theory of policy capacity
41.
Flow theory
42.
formal language theory
43.
fully nonlinear potential theory
44.
game theory
45.
general systems theory
46.
general theory of information transfer
47.
general vibration theory
48.
graph theory
49.
gravitational waves / theory
50.
grounded theory
51.
group theory
52.
group threat theory
53.
higher-order beam theory
54.
History and Theory
55.
homotopy type theory
56.
housemoney effect prospect theory
57.
iceberg theory of culture
58.
image theory
59.
information theory
60.
innovation theory
61.
institutional theory
62.
intellectual capital theory
63.
interdependence theory
64.
inverse problem theory/applications
65.
inverse problems theory/applications
66.
job search theory
67.
Lawvere theory
68.
layer-wise displacement theory
69.
linear systems theory
70.
maritime investment theory
71.
mechanism design theory
72.
middle-range theory
73.
modern portfolio theory
74.
network theory
75.
nonlinear shallow water theory
76.
nonlinear shallow-water theory
77.
nonlinear strip theory
78.
nonlinear theory
79.
normal torsion theory
80.
number theory
81.
organization theory
82.
organizational theory
83.
peer‐to‐peer theory
84.
perceived customer value theory
85.
phase field theory
86.
picture theory
87.
protection motivation theory
88.
proto-theory of design
89.
punctuated equilibrium theory
90.
rational choice theory
91.
real options theory
92.
realization theory
93.
refined zigzag theory
94.
regulatory focus theory
95.
sampling theory
96.
scapegoat theory
97.
search and matching theory
98.
self-determination theory
99.
self-determination theory of work motivation
100.
shallow water theory
101.
shallow‐water theory
102.
sign theory
103.
signalling theory
104.
social identity theory
105.
social practice theory
106.
social presence theory
107.
social representation theory
108.
social system theory
109.
social systems theory
110.
sociological curriculum theory
111.
speech-act theory
112.
stakeholder theory
113.
Stakeholder-oriented decision theory
114.
State Theory
115.
stimulus-organism-response theory
116.
stochastic learning theory
117.
strategic narrative theory
118.
strategic narrative theory
119.
Straussian theory model
120.
structuration theory
121.
switching theory
122.
synchronous reference frame theory
123.
system theory
124.
systems theory
125.
the RAT theory
126.
theory
127.
theory and practice of meta-modelling with application in healthcare
128.
theory of accounting
129.
Theory Of Constraints (TOC)
130.
theory of economic development
131.
theory of inventive problem solving (TRIZ)
132.
theory of natural disaster
133.
Theory of paradox
134.
theory of planned behavior
135.
theory of planned behaviour
136.
theory of signs
137.
theory of value
138.
ticked cubical type theory
139.
type theory
140.
unified theory of acceptance and use of technology
141.
value theory
142.
virtual disc theory
143.
2D+T theory
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT