Révision 211 CSL17/ph-biblio.bib

ph-biblio.bib (revision 211)
1 1 

  		





  
  2
  
    

  		





  
  3
  
    
@inproceedings{Lasson11,
+  author    = {Marc Lasson},
+  title     = {Controlling Program Extraction in Light Logics},
+  booktitle = {Proceedings of Typed Lambda Calculi and Applications - 10th International Conference,
+               {TLCA} 2011},
+  pages     = {123--137},
+  series    = {LNCS},
+  volume    = {6690},
+  publisher = {Springer},
+  year      = {2011}
+ }
+


  		





  2
  4
  
    
@inproceedings{Leivant95,
   author    = {Daniel Leivant},
   title     = {Ramified recurrence and computational complexity I: Word recurrence and poly-time},


  		












Formats disponibles :
  Unified diff