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