Knowledge Base of
Publications, Seminars, & Math Library

Filter for: Wojciech Moczydlowski

11 results

A Dependent Set Theory
by Wojciech Moczydlowski
2007

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

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

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

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

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

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

Extraction in IZF
by Wojciech Moczydlowski
February 25, 2005

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

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

Coq and Nuprl
by Wojciech Moczydlowski
July 27, 2004