The Library
Modes in Algol Y
Tools
Tools
Tools
Lehmann, Daniel, 1946- (1977) Modes in Algol Y. University of Warwick. Department of Computer Science.. (Unpublished)
|
Text
WRAP_Lehmann_cs-rr-017.pdf - Published Version Download (789Kb) | Preview |
Abstract
It recently appeared to the author that the semantics of recursively defined data-types (from now on the term circularly defined data-types will be used to keep away from the "recursive function theory" connotation of the adjective "recursive") could benefit largely from the bulk of recent work on domain equations initiated by Dana Scott.
| Item Type: | Report |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
| Divisions: | Faculty of Science > Computer Science |
| Library of Congress Subject Headings (LCSH): | Data structures (Computer science) -- Mathematical models, ALGOL (Computer program language) |
| Publisher: | University of Warwick. Department of Computer Science |
| Date: | February 1977 |
| Number: | Number 17 |
| Number of Pages: | 15 |
| Identification Number: | CS-RR-017 |
| Institution: | University of Warwick |
| Theses Department: | Department of Computer Science |
| Status: | Not Peer Reviewed |
| Publication Status: | Unpublished |
| Access rights to Published version: | Open Access |
| URI: | http://wrap.warwick.ac.uk/id/eprint/46316 |
Actions (login required)
 |
View Item |
