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... |