Chronological Index:
Summer 1990

Summer 1990

M-L Type Theory, Categories, Inductive Types
Nax Mendler, June 26, 1990




Home | Introduction |Authors | Topics | Chronological List | PRL Project


Joan Lockwood, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: joan@cs.cornell.edu