Principal typing for parallel and non-deterministic lambda-caculus
| Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01000214419 |
|---|---|
| Matična publikacija: |
CIT. Journal of computing and information technology 5 (1997), 2 ; str. 129-138 |
| Glavni autor: | Aoun, Ali S. (-) |
| Ostali autori: | Barbanera, Franco (-), Dezani-Ciancaglini, Mariangiola, Mirasyedioglu, Seref |
| Vrsta građe: | Članak |
| Jezik: | eng |
| Predmet: |