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: Matthew Fluet

4 results


Publication 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

Seminar Expressing and Implementing the Computational Content Implicit in Smullyan's Account of Boolean Valuations
by Matthew Fluet
November 24, 2003

Seminar Variations on a Proof by Smullyan
by Matthew Fluet
May 05, 2003

Seminar The Calculemus Autumn School
by Christoph Kreitz, Sabina Petride, Matthew Fluet
October 28, 2002