|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 2
Zeitschriftenartikel
Benton, Nick; Hofmann, Martin und Nigam, Vivek
(2018):
Effect-dependent transformations for concurrent programs.
In: Science of Computer Programming, Bd. 155: S. 27-51
Benton, Nick; Hofmann, Martin und Nigam, Vivek
(2018):
Proof-relevant logical relations for name generation.
In: Logical Methods in Computer Science, Bd. 14, Nr. 1, 25
[PDF, 265kB]