![Cover image for Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus. Cover image for Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
Author:
Aoun, Ali Salem
Publication Information:
1996.
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | Thesis | 7.2/12/357289 | TEZ 3422 DR. 1996 | Searching... | Searching... |