Higher-Order Inductive Consequences in the Calculus of Constructions
Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
manuscript, 2009
The Non-Interference Protection in a Bytecode Program Logic
Aleksy Schubert and Daria Walukiewicz-Chrząszcz
Proceedings of BYTECODE 2009, edited by E. Albert and S. Genaim, ENTCS 253, Issue 5, pp. 113-127,
(pdf)
Consistency and completeness of rewriting in the Calculus of Constructions
Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
Logical Methods in Computer Science, 4(3:8)2008. Special Issue: IJCAR
2006 selected papers
(LMCS online version)
Inductive Consequences in the Calculus of Constructions
Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
manuscript, 2007
(pdf)
Towards Rewriting in Coq
Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
in Jouannaud Festschrift,
Hubert Comon-Lundth, Claude Kirchner,
and Hélène Kirchner, editors, LNCS 4600, Spriger, 2007, pp.
113-131
(pdf)
Consistency and Completeness of Rewriting in the Calculus of Constructions
Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
in Proceedings of IJCAR 2006, LNAI 4130, Springer 2006, pp. 619-631
extended version (ps.gz)
Termination of Rewriting in the Calculus of Constructions
Termination of Rewriting in the Calculus of Constructions
Daria Walukiewicz-Chrząszcz
Journal of Functional Programming, 13(2), 2003, pp. 339-414
(ps)
A total AC-compatible Reduction Ordering on Higher-Order Terms
Daria Walukiewicz
in ICALP'98 Proceedings,
LNCS 1443, Kim G. Larsen, Sven Skyum, Glynn Winskel editors, Springer-Verlag Berlin Heidelberg 1998, pp. 530-542
(ps), (bibtex),
(abstract)
