URI(s)
Variants
- Jacobs, B. (Bart)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Categorical logic and type theory, 1999:CIP t.p. (Bart Jacobs; Research Fellow of the Royal Netherlands Academy of Arts and Sciences; Computing Science Institute, Nijmegen, The Netherlands) cover (B. Jacobs)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1998-10-28: new
Alternate Formats