Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
by
 
Aoun, Ali Salem

Title
: 
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.

Author
: 
Aoun, Ali Salem

Publication Information
: 
1996.


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Beytepe LibraryThesis7.2/12/357289TEZ 3422 DR. 1996Beytepe Tez Koleksiyonu