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


Home | Introduction |Authors | Topics | Chronological List | PRL Project


 
Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu