PRL Seminars
Aleksey Nogin
Differences between the MetaPRL type theory and the Nuprl type theoryApril 10, 2000
CommentAlexei Kopylov and I are currently trying to understand the differences between the MetaPRL type theory and the Nuprl type theory and to prove that these two type theories are compatible.In this talk I will present the overview of the work being done and I will try to describe the current status of this project. |
| Home | | Introduction | | Authors | | Topics | | Chronological List | | PRL Project |