Knowledge Base of
Publications, Seminars, & Math Library

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