Types are specifications whose semantics is explained in terms of computation, which is thus conceptually prior.\xa0 Realizability is a way of explaining the semantics of types.