Başlık:
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
Yazar:
Aoun, Ali Salem
Yayın Bilgileri:
1996.
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | Tez | 7.2/12/357289 | TEZ 3422 DR. 1996 | Arıyor... | Arıyor... |