hole95

Furio Honsell, Marina Lenisa. Final Semantics for untyped lambda-calculus. In Proc.\ Int'l Conf.\ on Typed Lambda Calculi and Applications (TLCA), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.), Lecture Notes in Computer Science (LNCS), Volume 902, Pages 249-265, 1995.

Keyword

[ Coinduction ]

Contact

Furio Honsell
Marina Lenisa

BibTex Reference

@InProceedings{hole95,
   Author = {Honsell, Furio and Lenisa, Marina},
   Title = {Final Semantics for untyped lambda-calculus},
   BookTitle = {Proc.\ Int'l Conf.\ on Typed Lambda Calculi and Applications (TLCA)},
   editor = {Dezani-Ciancaglini, Mariangiola and Plotkin, Gordon},
   Volume = {902},
   Pages = {249--265},
   Series = {Lecture Notes in Computer Science (LNCS)},
   Publisher = {Springer-Verlag},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)