Révision 124 CSL16/final-version/biblio.bib

biblio.bib (revision 124)
278 278 
	number    = {3},
279 279 
	pages     = {297--347},
280 280 
	year      = {1992},
281 
	url       = {http://dx.doi.org/10.1093/logcom/2.3.297},
282 281 
	doi       = {10.1093/logcom/2.3.297},
283 282 
	timestamp = {Wed, 29 Jun 2011 15:52:24 +0200},
284 
	biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Andreoli92},
285 283 
	bibsource = {dblp computer science bibliography, http://dblp.org}
286 284 
}
287 285 
@article{FriedmanM92,
......
314 312 

  		





  315
  313
  
    

  		





  316
  314
  
    

  		





  317
  
  
    
@inproceedings{BaiDas,


  		





  318
  
  
    
	author = {Patrick Baillot and Anupam Das},


  		





  319
  
  
    
	title = {Free-cut elimination in linear logic and an application to a feasible arithmetic},


  		





  320
  
  
    
	booktitle = {Proceedings of Computer Science Logic (CSL 2016)},


  		





  321
  
  
    
	year = {2016}


  		





  
  315
  
    
@unpublished{BaiDas,


  		





  
  316
  
    
  TITLE = {Free-cut elimination in linear logic and an application to a feasible arithmetic},


  		





  
  317
  
    
  AUTHOR = {Baillot, Patrick and Das, Anupam},


  		





  
  318
  
    
  URL = {https://hal.archives-ouvertes.fr/hal-01316754},


  		





  
  319
  
    
  NOTE = {Preprint},


  		





  
  320
  
    
  YEAR = {2016},


  		





  
  321
  
    
  PDF = {https://hal.archives-ouvertes.fr/hal-01316754/file/main.pdf},


  		





  
  322
  
    
  HAL_ID = {hal-01316754},


  		





  
  323
  
    
  HAL_VERSION = {v1},


  		





  322
  324
  
    
	}


  		





  323
  325
  
    

  		





  324
  326
  
    

  		












Formats disponibles :
  Unified diff