|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
liquori06iandc (Article) | |
Author(s) | Luigi Liquori and Simona Ronchi Della Rocca |
Title | « Intersection Types a la Church » |
Journal | Information and Computation |
Volume | 205 |
Number | 9 |
Page(s) | 1371--1386 |
Year | 2007 |
ISSN number | 0890-5401 |
http://www.di.unito.it/˜ronchi/papers/Liquori-Ronchi-IC.pdf |
BibTeX code |
@article{liquori06iandc,
number = {9},
volume = {205},
pdf = {http://www.di.unito.it/~ronchi/papers/Liquori-Ronchi-IC.pdf},
issn = {0890-5401},
author = {Liquori, Luigi and Ronchi Della Rocca, Simona},
title = {Intersection Types a la Church},
tag = {Information and Computation},
pages = {1371--1386},
year = 2007,
journal = {Information and Computation},
}
|
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)