Environmental bisimulation for delimited-control operators

Tytuł: Environmental bisimulation for delimited-control operators
Tytuł publikacji grupowej: Lecture Notes in Computer Science ; vol. 8301
Tytuł pracy zbiorowej: Programming Languages and Systems, 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings ; Lecture Notes in Computer Science
Twórca: Biernacki, Dariusz ; Lenglet, Serguei
Strony: S. 333-348
Opis: Zawiera streszczenie. ; Zawiera bibliografię.
Język Abstraktu: eng
Wydawca: Springer
Miejsce wydania: Berlin
Data wydania: 2013
Typ: Tekst
Identyfikator: ISBN 9783319035413 ; https://doi.org/10.1007/978-3-319-03542-0_24
Język publikacji: eng
Wersja Cyfrowa: http://dx.doi.org/10.1007/978-3-319-03542-0_24
Szczegółowy typ obiektu: rozdz
Typ obiektu: Rozdział