Wojciech Moczydlowski

According to our database, Wojciech Moczydlowski authored at least 8 papers between 2005 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Unifying Sets and Programs via Dependent Types.

Wojciech Moczydlowski

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2007

Investigations on Sets and Types.

Wojciech Moczydlowski

PhD thesis, 2007

A Normalizing Intuitionistic Set Theory with Inaccessible Sets.

Wojciech Moczydlowski

Log. Methods Comput. Sci., 2007

A Dependent Set Theory.

Wojciech Moczydlowski

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus.

Robert L. Constable, Wojciech Moczydlowski

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006

Normalization of IZF with Replacement.

Wojciech Moczydlowski

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics.

Robert L. Constable, Wojciech Moczydlowski

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Termination of Single-Threaded One-Rule Semi-Thue Systems.

Wojciech Moczydlowski, Alfons Geser

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005