---
author:
- 'Carlos Lombardi, Alejandro Ríos, Roel de Vrijer'
bibliography:
- 'tesisd.bib'
title: 'Proof terms for infinitary rewriting, progress report'
---

Preliminaries {#sec:prelim}
=============

Proof terms {#sec:pterm}
===========

Adding dots properly
--------------------

 {#sec:peqence}

Denotation of  {#sec:pterm-denotation}
==============

Compression {#sec:compression}
===========

Fixed prefix of contraction activity {#sec:cfpc}
------------------------------------
