Realizability
An Introduction to Its Categorical Side
Published on 28. May 2014
327 pages
978-0-08-056006-9 (ISBN)
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.
- The first book to date on this subject area
- Provides an clear introduction to Realizability with a comprehensive bibliography- Easy to read and mathematically rigorous
- Written by an expert in the field
More details
Series
Language
English
Place of publication
Oxford
Netherlands
Product notice
Windows
ISBN-13
978-0-08-056006-9 (9780080560069)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Book
03/2008
Elsevier
€149.99
Shipment within 15-20 days
Content
Introduction1. Partial Combinatory Algebras2. Realizability triposes and toposes3. The effective topos4. Variations on Realizability
