Jerzy Tiuryn. A Sequent Calculus for Subtyping Polymorphic Types. Research Report Institute of Informatics, Warsaw University, No 96, April 1996.
[ Parametricity ]
@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}
}
Get EndNote Reference (.ref)