The Library
The Y-combinator in Scott's lambda-calculus models
Tools
Tools
Tools
Park, D. M. R. (1976) The Y-combinator in Scott's lambda-calculus models. Coventry, UK: Department of Computer Science..
Full text not available from this repository.
Official URL: http://eprints.dcs.warwick.ac.uk/1136/1/cs-rr-013....
| Item Type: | Report |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 (Please use QA76 Electronic Computers. Computer Science) |
| Divisions: | Faculty of Science > Computer Science |
| Publisher: | Department of Computer Science |
| Place of Publication: | Coventry, UK |
| Date: | June 1976 |
| Identification Number: | CS-RR-013 |
| Institution: | University of Warwick |
| Theses Department: | Department of Computer Science |
| Status: | Not Peer Reviewed |
| Publication Status: | Published |
| Access rights to Published version: | Open Access |
| Related URLs: | |
| URI: | http://wrap.warwick.ac.uk/id/eprint/46310 |
Actions (login required)
 |
View Item |
