Title of article
Strong normalization for non-structural subtyping via saturated sets
Author/Authors
Jakob Rehof، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1996
Pages
6
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