Statistiques
| Révision :

root / CSL17 / completeness.tex @ 195

Historique | Voir | Annoter | Télécharger (6,58 ko)

# Date Auteur Commentaire
195 25/04/2017 14:03 Patrick Baillot

.
174 13/04/2017 00:12 Patrick Baillot

added the sequent calculus rules and a free-cut elimination theorem
171 12/04/2017 12:21 Anupam Das
170 11/04/2017 23:00 Patrick Baillot

predicative minimisation
168 06/04/2017 22:34 Anupam Das
166 06/04/2017 01:35 Anupam Das