A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc-Reference-Cited by-同舟云学术

A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc

Published:2016 Issue: Volume: Page:171-186
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Yachi Taichi,Sumii Eijiro

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47958-3_10

Reference23 articles.

1. Aristizábal, A., Biernacki, D., Lenglet, S., Polesiuk, P.: Environmental bisimulations for delimited-control operators with dynamic prompt generation. In: Kesner, D., Pientka, B. (eds.) 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, 22–26 June 2016, Porto, Portugal. LIPIcs, vol. 52, pp. 9:1–9:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016). http://dx.doi.org/10.4230/LIPIcs.FSCD.2016.9

2. Lecture Notes in Computer Science;D Biernacki,2012

3. Lecture Notes in Computer Science;D Biernacki,2013

4. Danvy, O., Filinski, A.: Abstracting control. In: LISP and Functional Programming, pp. 151–160 (1990). http://doi.acm.org/10.1145/91556.91622

5. Dreyer, D., Neis, G., Birkedal, L.: The impact of higher-order state and control effects on local relational reasoning. J. Funct. Program. 22(4–5), 477–528 (2012). http://dx.doi.org/10.1017/S095679681200024X

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Preorder-Constrained Simulations for Program Refinement with Effects;Lecture Notes in Computer Science;2024

2. Complete trace models of state and control;Programming Languages and Systems;2021

3. A Sound and Complete Logic for Algebraic Effects;Lecture Notes in Computer Science;2019