A type annotation scheme for Nuprl (1998)

by Douglas J Howe
Venue:In Theorem Proving in Higher-Order Logics