URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: His Extensional constructs in intensional type theroy, c1997:CIP t.p. (Martin Hofmann) data sheet (b. 11/09/65)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1996-11-27: new
Alternate Formats