Mark-Oliver Stehr
Justifying the HOL-Nuprl Connection in the Categorical Framework of General Logics
and
Type Theory in a Membership Equational Logic Framework
Mark-Oliver Stehr, March 15, 1999
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu