Since 2014
Constructing Fixed-Point Combinators Using Application Survival
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Constructing Fixed-Point Combinators Using Application Survival
|
|
| Creator |
Goldberg, Mayer
|
|
| Description |
The theory of application survival was developed in our Ph.D. thesisas an approach for reasoning about application in general and self-applicationin particular. In this paper, we show how application survivalprovides a uniform framework not only for for reasoning aboutfixed-points, fixed-point combinators, but also for deriving and comparingknown and new fixed-point combinators.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1995-06-05
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19938
10.7146/brics.v2i35.19938 |
|
| Source |
BRICS Report Series; No 35 (1995): RS-35 Constructing Fixed-Point Combinators Using Application Survival
BRICS Report Series; No 35 (1995): RS-35 Constructing Fixed-Point Combinators Using Application Survival 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19938/17591
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|