Current Data About
type theory
other details
| aliases |
theory of types |
| description | study of type systems in mathematical logic and computer science |
External Links