bcgs89

V. Breazu-Tannen, T. Coquand, C. Gunter, A. Scedrov. Inheritance and Explicit Coercion. In Proc. Logic in Computer Science (LICS), Pages 112-129, 1989.

Keyword

[ Coinduction ]

Contact

Val Breazu-Tannen
Thierry Coquand
Carl A. Gunter
A. Scedrov

BibTex Reference

@InProceedings{bcgs89,
   Author = {Breazu-Tannen, V. and Coquand, T. and Gunter, C. and Scedrov, A.},
   Title = {Inheritance and Explicit Coercion},
   BookTitle = {Proc. Logic in Computer Science (LICS)},
   Pages = {112--129},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)