//
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: Wojciech Moczydlowski

11 results


Publication A Dependent Set Theory
by Wojciech Moczydlowski
2007

Publication Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus | cite »
by Wojciech Moczydlowski, Robert L. Constable
2007

Publication A Normalizing Intuitionistic Set Theory with Inaccessible Sets | cite »
by Wojciech Moczydlowski
2006

Publication Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics | cite »
by Robert L. Constable, Wojciech Moczydlowski
2006

Publication Normalization of intuitionistic set theories. | cite »
by Wojciech Moczydlowski
2006

Publication Termination of Single-Threaded One-rule Semi-Thue Systems | cite »
by Wojciech Moczydlowski, Alfons Geser
2005

Seminar (Constructive) set-theoretic semantics for (Constructive) higher-order logic
by Wojciech Moczydlowski
November 04, 2005

Seminar Extraction in IZF
by Wojciech Moczydlowski
February 25, 2005

Seminar Set-theoretical models of type theory (cont.)
by Wojciech Moczydlowski
September 20, 2004

Seminar Set-theoretical models of type theory
by Wojciech Moczydlowski
September 13, 2004

Seminar Coq and Nuprl
by Wojciech Moczydlowski
July 27, 2004