# * 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.