[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