Environmental bisimulations for higher-order languages

• Autores: Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 33, Nº 1, 2011, pág. 5
• Idioma: inglés
• Texto completo no disponible (Saber más ...)