Title of article :
Higher-order subtyping and its decidability
Author/Authors :
Adriana Compagnoni، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Keywords :
Higher-order lambda calculus , Higher-order subtyping , Intersection types , Bounded polymorphism , Decidability
Journal title :
Information and Computation
Journal title :
Information and Computation
