Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Bicategories and Higher Categorical Logic

Development of logical frameworks using bicategorical structures and higher-dimensional category theory for complex systems.