Statistiques
| Révision :

root / CSL17 / arithmetic.tex @ 181

Historique | Voir | Annoter | Télécharger (16,36 ko)

# Date Auteur Commentaire
181 16/04/2017 16:32 Patrick Baillot

Modified lemma 19 on well-typed proofs, and gave a proof sketch.
180 16/04/2017 00:32 Patrick Baillot

Modified sequent calculus rules (weakening in axioms)
179 14/04/2017 01:19 Patrick Baillot

.
178 13/04/2017 14:18 Patrick Baillot

B^i sequent calculus
177 13/04/2017 12:11 Patrick Baillot

added polynomial induction definition
176 13/04/2017 01:45 Anupam Das
175 13/04/2017 00:14 Patrick Baillot

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

added the sequent calculus rules and a free-cut elimination theorem
172 12/04/2017 17:22 Anupam Das

characteristic functions
171 12/04/2017 12:21 Anupam Das
168 06/04/2017 22:34 Anupam Das
166 06/04/2017 01:35 Anupam Das
157 28/03/2017 15:44 Anupam Das
156 28/03/2017 01:53 Anupam Das
154 27/03/2017 17:47 Anupam Das

added basic template