About us
Define
Definitions for
"Abstract Identifiers"
identifiers treated abstractly and as atomic, serving as Object names in a Closed Map
nuprl.org