**lncs1987 (In proceedings)
** |

Author(s) | Simona Ronchi Della Rocca |

Title | « *A Unification Semi-Algorithm for Intersection Type Schemes »* |

In | Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '87). Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87) |

Series | LNCS |

Editor(s) | Robert Kowalski Giorgio Levi Hartmut Ehrig and Ugo Mantanari |

Volume | 249 |

Page(s) | 37--51 |

Year | 1987 |

Publisher | Springer |

Address | Pisa, Italy |

ISBN number | 3-540-17660-8 |

```
@inproceedings{lncs1987,
volume = {249},
month = mar,
author = {Ronchi Della Rocca, Simona},
series = {LNCS},
booktitle = {Proceedings of the International Joint Conference on Theory and
Practice of Software Development ({TAPSOFT} '87). Volume 1:
Advanced Seminar on Foundations of Innovative Software
Development {I} and Colloquium on Trees in Algebra and
Programming ({CAAP}'87)},
editor = {Giorgio Levi {Hartmut Ehrig, Robert Kowalski} and Ugo Mantanari},
title = {A Unification Semi-Algorithm for Intersection Type Schemes},
isbn = {3-540-17660-8},
tag = {TAPSOFT'87},
address = {Pisa, Italy},
publisher = {Springer},
year = {1987},
pages = {37--51},
}
```

This document was generated by bib2html 3.3.

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