A Type-Theoretical Alternative to CUCH, ISWIM, OWHY by Dana Scott. Pp, 40. Oxford. October 1969.

PART OF:: A type-theoretical alternative to CUCH, ISWIM, OWHY

Made:: 1969-10

part of archive:: National Physical Laboratory Archive

maker:: National Physical Laboratory

Details

Identifier:: NPL/H7/4/1

Access:: Open Access

copyright:: More

Copies may be supplied in accordance with current copyright legislation and Science Museum Group terms and conditions

Browse this archive

National Physical Laboratory Archive