|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2018
Anzahl der Publikationen: 2
2018
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]