Evan Moran

Uniform Inhabitants for the Non-Union Blueprints, continued

Evan Moran, October 28, 2005

(Re-)Introduction to Howe's Framework, continued

Evan Moran, October 14, 2005

(Re-)Introduction to Howe's Framework

Evan Moran, September 30, 2005

Unions and Unboxed Quotients

Evan Moran, September 23, 2005
On Howe's Importation of HOL into Nuprl
Evan Moran, September 29, 1998
Adding Intersection Types to Doug Howe's Classical Set-Theoretic Semantics
Evan Moran, April 7, 1998
CZF, Type Theory, and Nuprl-Light
Evan Moran, April 8, 1997

Department of Computer Science, Cornell University nuprl@cs.cornell.edu