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 

ITRS10 (In proceedings)
Author(s) Simona Ronchi Della Rocca, Alexis Saurin, Stavrinos Yiorgos and Anastasia Veneti
Title« Intersection Logic in sequent calculus style »
InProceedings Fifth Workshop on Intersection Types and Related Systems (ITRS 2010
SeriesEPTCS
Editor(s) Betti Venneri Elaine Pimentel
Volume45
Page(s)16--30
Year2011
PublisherCornell University Library
URLhttp://arxiv.org/abs/1101.4424v1

BibTeX code

@inproceedings{ITRS10,
  volume = {45},
  author = {Ronchi Della Rocca, Simona and Saurin, Alexis and Yiorgos, Stavrinos
            and Veneti, Anastasia},
  series = {EPTCS},
  booktitle = {Proceedings Fifth Workshop on Intersection Types and Related
               Systems (ITRS 2010},
  editor = {Elaine Pimentel, Betti Venneri},
  url = {http://arxiv.org/abs/1101.4424v1},
  title = {Intersection Logic in sequent calculus style},
  publisher = {Cornell University Library},
  pages = {16--30},
  year = {2011},
}


 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!