Publications by Nigam, Vivek
 | Up a level |
Group by: Item Type | Date
Jump to: Journal article
Number of items: 2.
Journal article
Benton, Nick; Hofmann, Martin; Nigam, Vivek (2018): Effect-dependent transformations for concurrent programs. In: Science of Computer Programming, Vol. 155: pp. 27-51
Benton, Nick; Hofmann, Martin; Nigam, Vivek (2018): Proof-relevant logical relations for name generation. In: Logical Methods in Computer Science, Vol. 14, No. 1, 25 [PDF, 265kB]