b'
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.