[TYPES] Looking for Girard's Dissertation

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


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?

    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