cugh90

P. Curien, G. Ghelli. Coherence of Subsumption. In Proc. 15th Coll. on Trees in Algebra and Programming (CAAP), Copenhagen, Denmark, A. Arnold (ed.), Lecture Notes in Computer Science (LNCS), Volume 431, Pages 132-146, May 1990.

Keyword

[ Rectype ]

Contact

P.-L. Curien
G. Ghelli

BibTex Reference

@InProceedings{cugh90,
   Author = {Curien, P. and Ghelli, G.},
   Title = {Coherence of Subsumption},
   BookTitle = {Proc. 15th Coll. on Trees in Algebra and Programming (CAAP), Copenhagen, Denmark},
   editor = {Arnold, A.},
   Volume = {431},
   Pages = {132--146},
   Series = {Lecture Notes in Computer Science (LNCS)},
   Publisher = {Springer},
   Month = {May},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)