原创力文档- 4
- 0
- 约6.17万字
- 约 17页
- 2015-11-22 发布于河南
- 举报
Sequentiality and the CPS Semantics of Fresh Names》.pdf
Electronic Notes in Theoretical Computer Science 173 (2007) 203–219
/locate/entcs
Sequentiality and the CPS Semantics
of Fresh Names
J. Laird1 ,2
Dept. of Informatics
University of Sussex
UK
Abstract
We investigate the domain-theoretic de
您可能关注的文档
- Segregation of Pt at clean surfaces of (Pt, Ni)3Al》.pdf
- Segregation-induced changes in grain boundary cohesion and embrittlement in binary alloys》.pdf
- Segurana da vacina papillomavirus humano 6, 11, 16 e 18 (recombinante) reviso sistemática e metanálise》.pdf
- Segurana do uso da cabergolina na embriogênese e na gestao》.pdf
- Segurana e preditores de sucesso da alta hospitalar no mesmo dia após interveno coronária percutanea eletiva》.pdf
- Seipin is involved in the regulation of phosphatidic acid metabolism at a subdomain of the nuclear envelope in yeast》.pdf
- Seipin Promotes Adipose Tissue Fat Storage through the ER Ca2+-ATPase SERCA》.pdf
- Seismic assessment of a historical masonry tower with nonlinear static and dynamic analyses tuned on ambient vibration tests》.pdf
- Seismic behavior of replaceable steel truss coupling beams with buckling restrained webs》.pdf
- Seismic capacity-based design of narrow strap-braced cold-formed steel walls》.pdf
文档评论（0）