PRL Seminars

Stuart Allen will discuss the concept of "abstract identifiers" as will be used in Nuprl 5, which are useful for avoiding collision when merging libraries that were developed independently, or partially independently. The main library system of Nuprl 5 may be considered as a utility for managing "working maps" from abstract identifiers to objects.