'Ginsburg-ish', notes relating to formal language theory
MS. Landin 49
Bodleian Libraries, University of Oxford
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
'Ginsburg-ish', notes relating to formal language theory
Shelfmark
MS. Landin 49
Summary
Comprises:
(folder 1) notes on:
'Defined functions and derived algebras, and high level language'
Applicative Expressions, including 'Using algebra derivations to extend the idea of program'
'definitions'
'variables'
'AEs [Applicative Expressions] and the Where notation'.
(folder 2) 4.5 Imitating higher type computation, with notes on evaluating SECD and 'imitations of fixed point finding representation via fixed points of tree-functions'.
(folder 3) 'Grammars and definability'.
Date
Jun 1963-1980
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
Technical work, research and projects
'Ginsburg-ish', notes relating to formal language theory
