bibliography.bib

   1 @inproceedings{DBLP:conf/aplas/AccattoliG16,\r
   2   author    = {Beniamino Accattoli and\r
   3                Giulio Guerrieri},\r
   4   title     = {Open Call-by-Value},\r
   5   booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}\r
   6                2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},\r
   7   pages     = {206--226},\r
   8   year      = {2016},\r
   9   crossref  = {DBLP:conf/aplas/2016},\r
  10   url       = {https://doi.org/10.1007/978-3-319-47958-3_12},\r
  11   doi       = {10.1007/978-3-319-47958-3_12},\r
  12   timestamp = {Fri, 19 May 2017 01:25:54 +0200},\r
  13   biburl    = {https://dblp.org/rec/bib/conf/aplas/AccattoliG16},\r
  14   bibsource = {dblp computer science bibliography, https://dblp.org}\r
  15 }\r
  16 @proceedings{DBLP:conf/aplas/2016,\r
  17   editor    = {Atsushi Igarashi},\r
  18   title     = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}\r
  19                2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},\r
  20   series    = {Lecture Notes in Computer Science},\r
  21   volume    = {10017},\r
  22   year      = {2016},\r
  23   url       = {https://doi.org/10.1007/978-3-319-47958-3},\r
  24   doi       = {10.1007/978-3-319-47958-3},\r
  25   isbn      = {978-3-319-47957-6},\r
  26   timestamp = {Fri, 19 May 2017 01:25:54 +0200},\r
  27   biburl    = {https://dblp.org/rec/bib/conf/aplas/2016},\r
  28   bibsource = {dblp computer science bibliography, https://dblp.org}\r
  29 }\r
  30 \r
  31 @article{bohm1968alcune,\r
  32   title={Alcune proprieta delle forme $\beta$-$\eta$-normali nel $\lambda$-K-calcolo},\r
  33   author={B{\"o}hm, Corrado},\r
  34   journal={Pubblicazioni dell’Istituto per le Applicazioni del Calcolo},\r
  35   volume={696},\r
  36   pages={19},\r
  37   year={1968}\r
  38 }\r
  39 \r
  40 @inproceedings{DBLP:conf/ictcs/Paolini01,\r
  41   author    = {Luca Paolini},\r
  42   title     = {Call-by-Value Separability and Computability},\r
  43   booktitle = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,\r
  44                Torino, Italy, October 4-6, 2001, Proceedings},\r
  45   pages     = {74--89},\r
  46   year      = {2001},\r
  47   crossref  = {DBLP:conf/ictcs/2001},\r
  48   url       = {https://doi.org/10.1007/3-540-45446-2_5},\r
  49   doi       = {10.1007/3-540-45446-2_5},\r
  50   timestamp = {Sun, 04 Jun 2017 10:10:18 +0200},\r
  51   biburl    = {https://dblp.org/rec/bib/conf/ictcs/Paolini01},\r
  52   bibsource = {dblp computer science bibliography, https://dblp.org}\r
  53 }\r
  54 @proceedings{DBLP:conf/ictcs/2001,\r
  55   editor    = {Antonio Restivo and\r
  56                Simona Ronchi Della Rocca and\r
  57                Luca Roversi},\r
  58   title     = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,\r
  59                Torino, Italy, October 4-6, 2001, Proceedings},\r
  60   series    = {Lecture Notes in Computer Science},\r
  61   volume    = {2202},\r
  62   publisher = {Springer},\r
  63   year      = {2001},\r
  64   url       = {https://doi.org/10.1007/3-540-45446-2},\r
  65   doi       = {10.1007/3-540-45446-2},\r
  66   isbn      = {3-540-42672-8},\r
  67   timestamp = {Fri, 26 May 2017 14:09:15 +0200},\r
  68   biburl    = {https://dblp.org/rec/bib/conf/ictcs/2001},\r
  69   bibsource = {dblp computer science bibliography, https://dblp.org}\r
  70 }\r
  71 \r
  72 @article{DBLP:journals/iandc/BoudolL96,\r
  73   author    = {G{\'{e}}rard Boudol and\r
  74                Cosimo Laneve},\r
  75   title     = {The Discriminating Power of Multiplicities in the Lambda-Calculus},\r
  76   journal   = {Inf. Comput.},\r
  77   volume    = {126},\r
  78   number    = {1},\r
  79   pages     = {83--102},\r
  80   year      = {1996},\r
  81   url       = {https://doi.org/10.1006/inco.1996.0037},\r
  82   doi       = {10.1006/inco.1996.0037},\r
  83   timestamp = {Thu, 18 May 2017 09:54:15 +0200},\r
  84   biburl    = {https://dblp.org/rec/bib/journals/iandc/BoudolL96},\r
  85   bibsource = {dblp computer science bibliography, https://dblp.org}\r
  86 }\r
  87 \r
  88 @article{DBLP:journals/iandc/Sangiorgi94,\r
  89   author    = {Davide Sangiorgi},\r
  90   title     = {The Lazy Lambda Calculus in a Concurrency Scenario},\r
  91   journal   = {Inf. Comput.},\r
  92   volume    = {111},\r
  93   number    = {1},\r
  94   pages     = {120--153},\r
  95   year      = {1994},\r
  96   url       = {https://doi.org/10.1006/inco.1994.1042},\r
  97   doi       = {10.1006/inco.1994.1042},\r
  98   timestamp = {Thu, 18 May 2017 09:54:16 +0200},\r
  99   biburl    = {https://dblp.org/rec/bib/journals/iandc/Sangiorgi94},\r
 100   bibsource = {dblp computer science bibliography, https://dblp.org}\r
 101 }\r
 102 \r
 103 @article{DBLP:journals/iandc/Dezani-CiancagliniTU99,\r
 104   author    = {Mariangiola Dezani{-}Ciancaglini and\r
 105                Jerzy Tiuryn and\r
 106                Pawel Urzyczyn},\r
 107   title     = {Discrimination by Parallel Observers: The Algorithm},\r
 108   journal   = {Inf. Comput.},\r
 109   volume    = {150},\r
 110   number    = {2},\r
 111   pages     = {153--186},\r
 112   year      = {1999},\r
 113   url       = {https://doi.org/10.1006/inco.1998.2773},\r
 114   doi       = {10.1006/inco.1998.2773},\r
 115   timestamp = {Thu, 18 May 2017 09:54:15 +0200},\r
 116   biburl    = {https://dblp.org/rec/bib/journals/iandc/Dezani-CiancagliniTU99},\r
 117   bibsource = {dblp computer science bibliography, https://dblp.org}\r
 118 }\r