Addendum, 1959 - 2005
Addendum, 1959 - 2005
ML-101: Stephen Garland papers
Series
Identifier: 2
Description
Contains manuals, correspondence, agendas, theses, papers, talks, meeting minutes, reports, tutorials, course notes, lectures, patents and publications related to his development and work with the computer language IOA as well as the National Science Foundation, Project Oxygen, Larch Prover (LP), LCS, and his work at Dartmouth College.
Dates
- 1959 - 2005
Conditions Governing Access
Unrestricted.
Language of Materials
From the Collection: English
Creator
- From the Collection: Garland, Stephen (J.) (Person)
Part of the Rauner Special Collections Library Repository