#
Knowledge Base of

Publications,
Seminars,
& Math Library

PhD theses from the project are accessible at the NCSTRL web site.

## Filter for: Evan Moran

17 results

*
Order-theoretic Differences Between Two Variants of Type Theory *

by Evan Moran

October 19, 2012

*
Innovations in Computational Type Theory using Nuprl *
| cite »

by Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, Evan Moran

2006

*
Unions and Unboxed Quotients *

by Evan Moran

September 23, 2005

*
Uniform Inhabitants for the Non-Union Blueprints, continued *

by Evan Moran

October 28, 2005

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

by Evan Moran

October 14, 2005

*
(Re-)Introduction to Howe's Framework *

by Evan Moran

September 30, 2005

*
Non-existence of Unions *

by Evan Moran

March 04, 2005

*
Separativeness and the Structure of the Singletons *

by Evan Moran

October 18, 2004

*
Reversing Howe's Substitution Rule *

by Evan Moran

September 27, 2004

*
CFZ From Below (continued) *

by Evan Moran

April 19, 2004

*
CFZ From Below *

by Evan Moran

April 12, 2004

*
Discussion of Methods of Sharing Formal Mathematics *

by Evan Moran

September 22, 2003

*
Bridges Between Set Theory and Type Theory *

by Evan Moran

September 15, 2003

*
On Howe's Importation of HOL into Nuprl *

by Evan Moran

September 29, 1998

*
Adding Intersection Types to Doug Howe's Classical Set-Theoretic Semantics *

by Evan Moran

April 07, 1998

*
CZF, Type Theory, and Nuprl-Light (continued) *

by Evan Moran

April 08, 1997

*
CZF, Type Theory, and Nuprl-Light *

by Evan Moran

April 01, 1997