Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus
Başlık:
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus
Yayın Bilgileri:
[y.y. : yayl.y.], 1996.
Fiziksel Tanımlama:
ix, 116 y. : grf., tbl. ; 28 cm