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