Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Matthew Fluet
4 results
Expressing and Implementing the Computational Content Implicit in Smullyan's Account of Boolean Valuations
| cite »
by Stuart F. Allen, Robert L. Constable, Matthew Fluet
2004
Expressing and Implementing the Computational Content Implicit in Smullyan's Account of Boolean Valuations
by Matthew Fluet
November 24, 2003
Variations on a Proof by Smullyan
by Matthew Fluet
May 05, 2003
The Calculemus Autumn School
by Christoph Kreitz, Sabina Petride, Matthew Fluet
October 28, 2002