ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Games and full abstraction for a functional metalanguage with recursive types / G. McCusker
| Arabic Title : | ألعاب وتجريد كامل للغة معدنية وظيفية بأنواع متكررة |
| BNB number : | GB9844710 |
| Date published : | 1998 |
| Has extent : | xiii, 189p. |
| ISBN : | 3540762558 |
| ISBN10 : | 3540762558 |
| Author : | McCusker, G. (Guy) |
| Title : | Games and full abstraction for a functional metalanguage with recursive types |
| Subject : | Game theory 005.13 Recursive functions Functional programming languages |
| Creator : | McCusker, G. (Guy) |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Description : | Bibliography: p[175]-184. _ Includes index. |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9844710 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | London : Springer, c1998 |
| Url : | 007758515 |
