From a Flexible Type System to Metapredicative Wellordering Proofs

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.