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 

Dezani-deLiguoro-Piperno:SJC-98 (Article)
Author(s) Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro and Adolfo Piperno
Title« A Filter Model for Concurrent Lambda-Calculus »
JournalSiam Journal on Computing
Volume27
Number5
Page(s)1376-1419
Year1998
URLhttp://www.di.unito.it/~dezani/papers/10.ps

BibTeX code

@article{Dezani-deLiguoro-Piperno:SJC-98,
  volume = {27},
  number = {5},
  author = {Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro and Adolfo
            Piperno},
  url = {http://www.di.unito.it/~dezani/papers/10.ps},
  title = {{{A} Filter Model for Concurrent Lambda-Calculus}},
  tag = {{Siam Journal on Computing}},
  year = {1998},
  journal = {Siam Journal on Computing},
  pages = {1376-1419},
}


 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!