The Library
Modes in Algol Y
Tools
Tools
Tools
Lehmann, Daniel (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 | ||||
| Official Date: | February 1977 | ||||
| Dates: |
|
||||
| Number: | Number 17 | ||||
| Number of Pages: | 15 | ||||
| Identifier: | 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 |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
