cardone92

F. Cardone. An Algebraic Approach to the Interpretation of Recursive Types. In Proc. 17th Coll. on Trees in Algebra and Programming (CAAP), Rennes, France, J.-C. Raoult (ed.), Lecture Notes in Computer Science, Vol. 581, Pages 66-85, February 1992.

Keyword

[ Rectype ]

Contact

Felice Cardone

BibTex Reference

@InProceedings{cardone92,
   Author = {Cardone, F.},
   Title = {An Algebraic Approach to the Interpretation of Recursive Types},
   BookTitle = {Proc. 17th Coll. on Trees in Algebra and Programming (CAAP), Rennes, France},
   editor = {Raoult, J.-C.},
   Pages = {66--85},
   Publisher = {Springer},
   Month = {February},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)