[TYPES] mechanized formalizations of the pi calculus

James Cheney james.cheney at gmail.com
Tue Apr 14 11:16:42 EDT 2015


Hi again,

I have combined my original list with helpful responses from several people
to write a blog post here:

http://why-lambda.blogspot.co.uk/2015/04/mechanized-formalizations-of-pi.html

Thanks to Robert Harper, Dale Miller, Dominic Orchard, Francois Pottier,
Ivan Scagnetto, Gabriel Scherer, and Tjark Weber for their suggestions.

I'm happy to update it (or add further pointers to a follow-up post) if
there are any more responses.

--James


More information about the Types-list mailing list