The Library
Computability in categories
Tools
Tools
Tools
Smyth, M. B. (1980) Computability in categories. Coventry, UK: Department of Computer Science, University of Warwick..
Full text not available from this repository.
Official URL: http://eprints.dcs.warwick.ac.uk/1154/1/cs-rr-031....
| Item Type: | Report |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
| Divisions: | Faculty of Science > Computer Science |
| Publisher: | Department of Computer Science, University of Warwick |
| Place of Publication: | Coventry, UK |
| Date: | February 1980 |
| Identification Number: | CS-RR-031 |
| Institution: | University of Warwick |
| Status: | Not Peer Reviewed |
| Publication Status: | Published |
| Access rights to Published version: | Open Access |
| Adapted As: | Later published in: Proceedings of the Winter School on Formal Software Specification, Lyngby, Denmark. |
| Related URLs: | |
| URI: | http://wrap.warwick.ac.uk/id/eprint/47207 |
Actions (login required)
 |
View Item |
