The Y-combinator in Scott's lambda-calculus models
Park, D.M.R. (1976) The Y-combinator in Scott's lambda-calculus models. Technical Report. Department of Computer Science, Coventry, UK.
![[img]](http://eprints.dcs.warwick.ac.uk/style/images/fileicons/application_pdf.png)
|
PDF
Download (163Kb) | Preview |
| Item Type: | Monograph (Technical Report) |
|---|---|
| Uncontrolled Keywords: | technicalreport |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Science > Computer Science |
| Depositing User: | Mr Ebrahim Ardeshir |
| Date Deposited: | 25 Apr 2012 08:50 |
| Last Modified: | 01 Nov 2012 18:07 |
| URI: | http://eprints.dcs.warwick.ac.uk/id/eprint/1136 |
Actions (login required)
 |
View Item |
