Logo Logo

Publications by Nigam, Vivek

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
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]

This list was generated on Thu Apr 22 02:11:56 2021 CEST.