Daria Walukiewicz-Chrzaszcz

Consistency and Completeness of Rewriting in the Calculus of Constructions

Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz, Daria Walukiewicz-Chrzaszcz, 2006, Log. Methods Comput. Sci..

Termination of rewriting in the Calculus of Constructions

Daria Walukiewicz-Chrzaszcz, Daria Walukiewicz-Chrzaszcz, 2003, Journal of Functional Programming.

Inductive Consequences in the Calculus of Constructions

Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz, 2010, ITP.

How Hard Is Positive Quantification?

Pawel Urzyczyn, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz, 2016, ACM Trans. Comput. Log..

Consistency and Completeness of Rewriting in the Calculus of Constructions

Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz, 2006, IJCAR.

Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic

Aleksy Schubert, Marcin Benke, Daria Walukiewicz-Chrzaszcz, 2016, FSCD.

The Non-Interference Protection in BML

Aleksy Schubert, Daria Walukiewicz-Chrzaszcz, Aleksy Schubert, 2009, BYTECODE@ETAPS.

Towards Rewriting in Coq

Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz, Daria Walukiewicz-Chrzaszcz, 2007, Rewriting, Computation and Proof.

Restricted Positive Quantification Is Not Elementary

Pawel Urzyczyn, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz, 2014, TYPES.