Skip to main content
PRL Project

A type annotation scheme for Nuprl

by Douglas J. Howe
1998

In Theorem Proving in Higher Order Logics

bibTex ref: Howe98


cite link