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: William Aitken

8 results


Publication Metalogical Frameworks II: Developing a Reflected Decision Procedure | cite »
by William Aitken, Robert L. Constable, Judith Underwood
1999

Seminar Reflection
by William Aitken
April 06, 1993

Seminar Reflection 2
by William Aitken, William Aitken
March 05, 1992

Seminar Reflection 2
by William Aitken, William Aitken
March 05, 1992

Seminar Reflection 2
by William Aitken, William Aitken
February 18, 1992

Seminar Reflection 2
by William Aitken, William Aitken
February 18, 1992

Seminar A Basis for Constructive, Reflexive Type Theory
by William Aitken
October 01, 1990

Publication The Semantics of Reflected Proof | cite »
by Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William Aitken
1990