Révision 117 CSL16/biblio.bib
| biblio.bib (revision 117) | ||
|---|---|---|
| 279 | 279 |
|
| 280 | 280 |
|
| 281 | 281 |
|
| 282 |
@inproceedings{Marion01,
|
|
| 283 |
author = {Jean{-}Yves Marion},
|
|
| 284 |
title = {Actual Arithmetic and Feasibility},
|
|
| 285 |
booktitle = {Proceedings of Computer Science Logic (CSL 2001)} ,
|
|
| 286 |
pages = {115--129},
|
|
| 287 |
series = {Lecture Notes in Computer Science},
|
|
| 288 |
volume = {2142},
|
|
| 289 |
publisher = {Springer},
|
|
| 290 |
year = {2001}
|
|
| 291 |
} |
|
| 292 |
|
|
| 293 |
|
|
| 294 |
|
|
| 295 |
|
|
| 282 | 296 |
@preprint{BaiDas,
|
| 283 | 297 |
author = {Patrick Baillot and Anupam Das},
|
| 284 | 298 |
title = {Free-cut elimination in linear logic and an application to a feasible arithmetic},
|
Formats disponibles : Unified diff