URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: nuc88-137181: His Aspects of the implementation of type theory, 1985(hdg. on NIC rept.: Harper, Robert William, 1957- ; usage: Robert William Harper; Ph. D., Cornell University, 1985)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1988-12-14: new
- 2015-11-19: revised
Alternate Formats