http://dvanhorn.lambda-calcul.us Research weblog for David Van Horn Sat, 28 Aug 2010 13:39:54 +0000 http://wordpress.org/?v=2.9.2 en hourly 1 http://dvanhorn.lambda-calcul.us/2009/05/29/cousot-thesis/ http://dvanhorn.lambda-calcul.us/2009/05/29/cousot-thesis/#comments Fri, 29 May 2009 22:41:40 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=104 Patrick Cousot’s celebrated thesis has been scanned and is available for download (in French).  Thanks to Jan Midtgaard for the link.

]]> http://dvanhorn.lambda-calcul.us/2009/05/29/cousot-thesis/feed/ 0 http://dvanhorn.lambda-calcul.us/2009/05/27/milner-digraphs-and-the-ubiquitous-abstract-machine/ http://dvanhorn.lambda-calcul.us/2009/05/27/milner-digraphs-and-the-ubiquitous-abstract-machine/#comments Thu, 28 May 2009 04:36:10 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=100 A new book on digraphs is out by Turing Award winner, Robin Milner: The Space and Motion of Communicating Agents, Cambridge University Press, 2009. The prologue is available from Milner’s notes on the bigraphical model and the Ubiquitous Abstract Machine.

]]> http://dvanhorn.lambda-calcul.us/2009/05/27/milner-digraphs-and-the-ubiquitous-abstract-machine/feed/ 0