Full Description
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.
Contents
Introduction1. Partial Combinatory Algebras2. Realizability triposes and toposes3. The effective topos4. Variations on Realizability



