Jump to : Keyword | Contact | BibTex reference | EndNote reference |

lei89

D. Leivant. Finitely Stratified Polymorphism. In Proc. Logic in Computer Science, June 1989.

Keyword

[ Parametricity ]

Contact

Daniel Leivant

BibTex Reference

@InProceedings{lei89,
   Author = {Leivant, D.},
   Title = {Finitely Stratified Polymorphism},
   BookTitle = {Proc. Logic in Computer Science},
   Month = {June},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)