- Date Created
- 2024-04-19 10:24:00
- Last Updated
- 2024-04-19 10:24:00
- UUID
- 75e2b49a-bc4f-485e-96f5-a903f1985d02
Identifier: 10.1016/S0049-237X(08)X7057-0
- Identifier Namespace
- doi
- Identifier
- 10.1016/S0049-237X(08)X7057-0
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
A Transfinite Type Theory with Type Variables (Current) | eBook - Freedom Collection Books and Backlist | doi |
A Transfinite Type Theory with Type Variables (Current) | eBook - Freedom Collection Books 2023 and Backlist | doi |