
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
- Författare
- Guy McCusker
- Upplaga
- Softcover reprint of the original 1st ed. 1998
- ISBN
- 9781447111658
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-10-23
- Förlag
- Springer London Ltd
- Sidor
- 189
