[TYPES] Looking for Girard's Dissertation

Christopher A. Stone stone at cs.hmc.edu
Tue Oct 31 02:20:13 EST 2006


Greetings!

I've seen many, many papers referencing Girard's 1972 Ph.D.  
dissertation, but I've never seen the dissertation itself.

Can anyone suggest where I could find a copy?

Thanks,
    Chris Stone

------------------------------------------------------------------------
Christopher A. Stone / Associate Professor              stone at cs.hmc.edu
Computer Science Department, Harvey Mudd College   www.cs.hmc.edu/~stone
301 Platt Boulevard, Claremont, CA 91711                  (909) 607-8975



More information about the Types-list mailing list