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
Fiziksel Tanımlama:
ix, 116 leave : illustruations ; 30 cm.