URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: TYPES '99 (1999 : Kloster Irsee, Germany). Types for proofs and programs, 1999:CIP t.p. (Thorsten Altenkirch) t.p. verso (Ludwig-Maximilians-Univ., Inst. f. Informatik, München, Germany) data sheet (b. Sept. 20, 1962)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1999-09-24: new
Alternate Formats