Subject files
MS. Landin 25
Bodleian Libraries, University of Oxford
-
Details
-
This item is described in 1 online catalogue.?
For the main catalogue entry, see: Bodleian Archives & Manuscripts
Description
From Bodleian Archives & Manuscripts
This is an extract only. For more information, see the catalogue record in Bodleian Archives & Manuscripts.
Bodleian Archives & Manuscripts contains descriptions of the Bodleian Libraries’ archival collections, including post-1500 manuscripts. Some manuscripts with records in other catalogues are also described here as part of a description of a larger archive. Learn more.
Title
Subject files
Shelfmark
MS. Landin 25
Summary
Includes the following subjects:
(folder 1) 'Theory of Aes [Applicative Expressions]'
(folder 2) includes the following subjects:
'Type Deduction'
'Structure Descriptions'
'Undefined expressions'.
(folder 3) includes:
'Groping to an Implementation'
'Language Design'
'Lambda and Call by name'.
Date
Mar 1962-Mar 1966
Language
English
Physical extent
1 box (3 folders)
View full record in Bodleian Archives & Manuscripts
Collection contents
Archive of Peter Landin, computer scientist, academic and gay rights campaigner
Work papers
Subject files
Subject files
See this item
-
Requesting
-
For information on how to request this item, see Bodleian Archives & Manuscripts.