**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 $\lambda $-calculus » |

In | ICALP'78 |

Series | Lecture Notes in Computer Science |

Editor(s) | G. Ausiello and C.Böhm |

Volume | 62 |

Page(s) | 142--164 |

Year | 1978 |

Publisher | Springer-Verlag |

PDF | http://www.di.unito.it/˜dezani/papers/Semiseparability.pdf |

```
@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},
}
```

This document was generated by bib2html 3.3.

(Modified by Luca Paolini, under the GNU General Public License)