An Introduction to its Categorical Side
by
Jaap van Oosten
Language: English
Release Date: April 10, 2008
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...