Friday, August 3, 2018

Old Technical Reports

Nice to find this page from the Computer Lab in Cambridge with my old technical reports, neatly listed, with dates and sizes. This is very helpful, since I was trying to find the original version of the work on Logical Dependencies in Linear Logic, with Torben Brauner.

My Amazon Author page also looks nice, I think.
The only bad thing is the price of the book for Prawitz.
And the stuff not done, yet.
But my page of publications while at PARC disappeared completely. Even from the Wayback Machine, sniff, sniff.

Just as well that Susie Mulhern, a friend that still works for PARC Communications, I think, was able to produce the picture below. I need to do something about it.

No comments:

Post a Comment