Here is a list of articles in the Structuralism category of the Computing portal that unifies foundations of mathematics and computations using computers.
This category has only the following subcategory.
The following 66 pages are in this category, out of 66 total.