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