Francis Davey

Reverse engineering and copyright in programming languages and data file formats

Francis Davey, 2013 .

On Intuitionistic Linear Logic

Paul Curzon, Gavin Bierman, Torben Brauner, 2005 .