Paolini01'

BibTeX

@inproceedings{DBLP:conf/ictcs/Paolini01,
  author    = {Luca Paolini},
  title     = {Call-by-Value Separability and Computability},
  booktitle = {ICTCS},
  year      = {2001},
  pages     = {74-89},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2202/22020074.htm},
  crossref  = {DBLP:conf/ictcs/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ictcs/2001,
  editor    = {Antonio Restivo and
               Simona Ronchi Della Rocca and
               Luca Roversi},
  title     = {Theoretical Computer Science, 7th Italian Conference, ICTCS
               2001, Torino, Italy, October 4-6, 2001, Proceedings},
  booktitle = {ICTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2202},
  year      = {2001},
  isbn      = {3-540-42672-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}