Tipos

A estrutura de formação dos tipos de dados em linguagens de programação.

Simples

Tipos base como inteiro, real, caractere e etc...

Composto

Tipos compostos e/ou encadeado:

• Each-of: composição do produto dos tipos, t = t1 and t2.
• One-of: composição da soma dos tipos, t = t or nop.
• Self-reference: composição encadeada dos tipos, t = t and t list or nop.