Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
indgår i Distinguished Dissertations serien
- Indbinding:
- Paperback
- Sideantal:
- 189
- Udgivet:
- 23. Oktober 2012
- Udgave:
- 11998
- Størrelse:
- 234x156x11 mm.
- Vægt:
- 326 g.
Gratis fragt
Leveringstid:
2-3 uger
Forventet levering: 5. Juni 2024
Beskrivelse af Games and Full Abstraction for a Functional Metalanguage with Recursive Types
In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59].
Brugerbedømmelser af Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Games and Full Abstraction for a Functional Metalanguage with Recursive Types findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Bogreolen.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
