Sumii, Eijiro; Pierce, Benjamin C. A bisimulation for type abstraction and recursion. (English) Zbl 1369.68117 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 63-74 (2005). Cited in 10 Documents MSC: 68N18 Functional programming and lambda calculus 68N15 Theory of programming languages Keywords:bisimulations; contextual equivalence; existential types; lambda-calculus; logical relations; recursive types PDF BibTeX XML Cite \textit{E. Sumii} and \textit{B. C. Pierce}, in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 63--74 (2005; Zbl 1369.68117) Full Text: DOI