Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

CDR84 (In proceedings)
Author(s) M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca
Title« Semi-Separability of Finite Sets of Terms in Scott's D-models of λ-calculus »
InICALP'78
SeriesLecture Notes in Computer Science
Editor(s) G. Ausiello and C.Böhm
Volume62
Page(s)142--164
Year1978
PublisherSpringer-Verlag
PDFhttp://www.di.unito.it/˜dezani/papers/Semiseparability.pdf

BibTeX code

@inproceedings{CDR84,
  volume = 62,
  pdf = {http://www.di.unito.it/~dezani/papers/Semiseparability.pdf},
  date = ,
  author = {M. Coppo and {Dezani-Ciancaglini}, M. and {Ronchi della Rocca}, S.
            },
  series = {Lecture Notes in Computer Science},
  modified = {2007-11-11 12:19:16 +0100},
  booktitle = {ICALP'78},
  editor = {G. Ausiello and C.B\"ohm},
  title = {{Semi-Separability of Finite Sets of Terms in Scott's
           $D_\infty$-models of $\lambda$-calculus}},
  publisher = {Springer-Verlag},
  year = {1978},
  pages = {142--164},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!