URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Sources
- found: Nordström, B. Programming in Martin-Löf's type theory, 1990:CIP t.p. (Kent Petersson; Dept. of Computer Sci., U. of Göteborg)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1989-12-19: new
- 1990-01-27: revised
Alternate Formats