| Originalsprog | Engelsk |
|---|---|
| Bogserie | Lecture Notes in Computer Science |
| Vol/bind | 443 s. |
| ISSN | 0302-9743 |
| Status | Udgivet - 1990 |
Compositionality through an Operational Semantics of Contexts
Kim Guldstrand Larsen, Liu Xinxin
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
53
Citationer
(Scopus)