cugh91

P. Curien, G. Ghelli. Subtyping + Extensionality: Confluence of $\beta \eta$top Reduction in F$_\leq$. In Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan, Lecture Notes in Computer Science, Vol. 526, September 1991.

Keyword

[ Rectype ]

Contact

P.-L. Curien
G. Ghelli

BibTex Reference

@InProceedings{cugh91,
   Author = {Curien, P. and Ghelli, G.},
   Title = {Subtyping + Extensionality: Confluence of $\beta \eta$top Reduction in F$_\leq$},
   BookTitle = {Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan},
   Publisher = {Springer},
   Month = {September},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)