Wojciech T. Moczydlowski, Ph.D.
Affiliations: | 2007 | Cornell University, Ithaca, NY, United States |
Google:
"Wojciech Moczydlowski"Parents
Sign in to add mentor| Robert L. Constable | grad student | 2007 | Cornell | |
| (Investigations on sets and types.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Constable R, Moczydłowski W. (2009) Extracting the resolution algorithm from a completeness proof for the propositional calculus Annals of Pure and Applied Logic. 161: 337-348 |
| Constable RL, Moczydłowski W. (2008) Extracting programs from constructive hol proofs via IZF set-theoretic semantics Logical Methods in Computer Science. 4 |
| Moczydlowski W. (2008) Normalization of IZF with Replacement Logical Methods in Computer Science. 4 |
| Moczydlowski W. (2007) A Normalizing Intuitionistic Set Theory with Inaccessible Sets Logical Methods in Computer Science. 3 |