More on Computation First, and Basic Idea of Realizability

Published: Jan. 29, 2020, 10 p.m.

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.