مرکز منطقه ای اطلاع رساني علوم و فناوري - Strong normalization for non-structural subtyping via saturated sets

Title of article :

Strong normalization for non-structural subtyping via saturated sets

Author/Authors :

Jakob Rehof، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1996

Pages :

From page :

157

To page :

162

Keywords :

Functional Programming , programming languages , Strong normalization , subtyping , Lambda calculus , Programming calculi

Journal title :

Information Processing Letters

Serial Year :

1996

Journal title :

Information Processing Letters

Record number :

128478

Link To Document :