A Type-Theoretical Alternative to CUCH, ISWIM, OWHY by Dana Scott. Pp, 40. Oxford. October 1969.
- Made:
- 1969-10
- part of archive:
- National Physical Laboratory Archive
- maker:
- National Physical Laboratory
Details
- Identifier:
- NPL/H7/4/1
- Access:
- Open Access
- rights:
- Copies may be supplied in accordance with current copyright legislation and Science Museum Group terms and conditions