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

tiuryn96

Jerzy Tiuryn. A Sequent Calculus for Subtyping Polymorphic Types. Research Report Institute of Informatics, Warsaw University, No 96, April 1996.

Keyword

[ Parametricity ]

Contact

J. Tiuryn

BibTex Reference

@TechReport{tiuryn96,
   Author = {Tiuryn, Jerzy},
   Title = {A Sequent Calculus for Subtyping Polymorphic Types},
   Number = {96},
   Institution = {Institute of Informatics, Warsaw University},
   Month = {April},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)