Differences between the MetaPRL type theory and the Nuprl type theory

by Aleksey Nogin
1999-2000

Alexei 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.

Differences between the MetaPRL type theory and the Nuprl type theory

by Aleksey Nogin 1999-2000

by Aleksey Nogin
1999-2000