DMCA
On a monadic semantics for freshness (2005)
Cached
Download Links
by
Mark R. Shinwell
,
Andrew M. Pitts
| Venue: | THEORETICAL COMPUTER SCIENCE |
| Citations: | 30 - 7 self |
BibTeX
@ARTICLE{Shinwell05ona,
author = {Mark R. Shinwell and Andrew M. Pitts},
title = {On a monadic semantics for freshness},
journal = {THEORETICAL COMPUTER SCIENCE},
year = {2005},
pages = {2005}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A standard monad of continuations, when constructed with domains in the world of FM-sets [4], is shown to provide a model of dynamic allocation of fresh names that is both simple and useful. In particular, it is used to prove that the powerful facilities for manipulating fresh names and binding operations provided by the “Fresh ” series of metalanguages [15,17,18] respect α-equivalence of object-level languages up to meta-level contextual equivalence.
