types

dz / types

Subgraphs

• type_systems
• type_theory

Node Tree

• type_theory
  • polymorphism

Nodes

type_theory
children	type_theory/polymorphism
hyperlink	https://en.wikipedia.org/wiki/Type_theory
location	knowledge/type_systems.dz:2