| |
| 2009 | ||
|---|---|---|
| 10 | EE | Wojciech Moczydlowski: Unifying Sets and Programs via Dependent Types. LFCS 2009: 365-379 |
| 2008 | ||
| 9 | EE | Robert L. Constable, Wojciech Moczydlowski: Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics CoRR abs/0806.1281: (2008) |
| 2007 | ||
| 8 | EE | Robert L. Constable, Wojciech Moczydlowski: Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus. LFCS 2007: 147-161 |
| 7 | EE | Wojciech Moczydlowski: A Dependent Set Theory. LICS 2007: 23-34 |
| 6 | EE | Wojciech Moczydlowski: A Normalizing Intuitionistic Set Theory with Inaccessible Sets CoRR abs/0707.1981: (2007) |
| 5 | EE | Wojciech Moczydlowski: Normalization of IZF with Replacement CoRR abs/0711.2546: (2007) |
| 4 | EE | Wojciech Moczydlowski: A Normalizing Intuitionistic Set Theory with Inaccessible Sets. Logical Methods in Computer Science 3(3): (2007) |
| 2006 | ||
| 3 | EE | Wojciech Moczydlowski: Normalization of IZF with Replacement. CSL 2006: 516-530 |
| 2 | EE | Robert L. Constable, Wojciech Moczydlowski: Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. IJCAR 2006: 162-176 |
| 2005 | ||
| 1 | EE | Wojciech Moczydlowski, Alfons Geser: Termination of Single-Threaded One-Rule Semi-Thue Systems. RTA 2005: 338-352 |
| 1 | Robert L. Constable | [2] [8] [9] |
| 2 | Alfons Geser | [1] |