Pavel Naumov
Importing Isabelle Formal Mathematics into NuPRL
Pavel Naumov, March 8, 1999
iPRL: A General Approach to Interpreting Isabelle Results in NuPRL
Pavel Naumov, September 8, 1998
Presenting Semantics for a Fragment of the Java Programming Language in Nuprl Proof Development System
Pavel Naumov, March 10, 1998
References in Type Theory
Pavel Naumov, November 25, 1997
Reasoning about Java Classes in Nuprl, continued
Pavel Naumov, September 16, 1997
Reasoning about Java Classes in Nuprl
Pavel Naumov, September 9, 1997
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu