root / CSL17 / DICE2017_TALK / survey_light_Shonan copie.toc @ 188
Historique | Voir | Annoter | Télécharger (298 octet)
| 1 | 188 | pbaillot | \beamer@endinputifotherversion {3.20pt}
|
|---|---|---|---|
| 2 | 188 | pbaillot | \beamer@sectionintoc {1}{A recap on $\lambda $-calculus and system F}{8}{0}{1}
|
| 3 | 188 | pbaillot | \beamer@sectionintoc {2}{Elementary linear logic}{16}{0}{2}
|
| 4 | 188 | pbaillot | \beamer@sectionintoc {3}{Light linear logic}{32}{0}{3}
|
| 5 | 188 | pbaillot | \beamer@sectionintoc {4}{Other linear logic variants}{44}{0}{4} |