Type theory

From HandWiki - Reading time: 2 min

Handwiki book24.pngComputing portal

Here is a list of articles in the Type theory category of the Computing portal that unifies foundations of mathematics and computations using computers.

Subcategories

This category has the following 3 subcategories, out of 3 total.

T

Pages in category "Type theory"

The following 114 pages are in this category, out of 114 total.


Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Type_theory
19 views |
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF