Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

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

Browse by author | title | year | subject

Filter for: Evan Moran

17 results


Seminar Order-theoretic Differences Between Two Variants of Type Theory
by Evan Moran
October 19, 2012

Publication 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

Seminar Unions and Unboxed Quotients
by Evan Moran
September 23, 2005

Seminar Uniform Inhabitants for the Non-Union Blueprints, continued
by Evan Moran
October 28, 2005

Seminar (Re-)Introduction to Howe's Framework, continued
by Evan Moran
October 14, 2005

Seminar (Re-)Introduction to Howe's Framework
by Evan Moran
September 30, 2005

Seminar Non-existence of Unions
by Evan Moran
March 04, 2005

Seminar Separativeness and the Structure of the Singletons
by Evan Moran
October 18, 2004

Seminar Reversing Howe's Substitution Rule
by Evan Moran
September 27, 2004

Seminar CFZ From Below (continued)
by Evan Moran
April 19, 2004

Seminar CFZ From Below
by Evan Moran
April 12, 2004

Seminar Discussion of Methods of Sharing Formal Mathematics
by Evan Moran
September 22, 2003

Seminar Bridges Between Set Theory and Type Theory
by Evan Moran
September 15, 2003

Seminar On Howe's Importation of HOL into Nuprl
by Evan Moran
September 29, 1998

Seminar Adding Intersection Types to Doug Howe's Classical Set-Theoretic Semantics
by Evan Moran
April 07, 1998

Seminar CZF, Type Theory, and Nuprl-Light (continued)
by Evan Moran
April 08, 1997

Seminar CZF, Type Theory, and Nuprl-Light
by Evan Moran
April 01, 1997