Semantics and Pragmatics of the Lambda-Calculus
PhD. Thesis, photocopied.
Item Details
- Date
- 1971 (Made)
- Type
- Document
- Catalogue number
- 102720343
- Organization
- University of Oxford (Publisher)
- People
- Christopher Peter Wadsworth (Author)
- Category
- Technical Paper or Note
- Credit line
- Gift of Herbert Stoyan
- Extent
- 1 folder
- Language
- English
- Acquisition number
- X5687.2010
- Archive collection
- Herbert Stoyan collection on LISP programming
- Archive hierarchy
- Assorted subjects