PRL Seminars

References in Type Theory


Pavel Naumov

November 25, 1997


Slides



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