Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: William Aitken
8 results
Metalogical Frameworks II: Developing a Reflected Decision Procedure
| cite »
by William Aitken, Robert L. Constable, Judith Underwood
1999
Reflection
by William Aitken
April 06, 1993
Reflection 2
by William Aitken, William Aitken
March 05, 1992
Reflection 2
by William Aitken, William Aitken
March 05, 1992
Reflection 2
by William Aitken, William Aitken
February 18, 1992
Reflection 2
by William Aitken, William Aitken
February 18, 1992
A Basis for Constructive, Reflexive Type Theory
by William Aitken
October 01, 1990
The Semantics of Reflected Proof
| cite »
by Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William Aitken
1990