Computational soundness and adequacy for typed object calculus - technical report
- Författare
- Johan Glimming
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| TCS - Theoretical Computer Science, School of Computer Science and Communication, KTH Royal Institute of Technology | 2007 | Sverige, Stockholm | 22 sidor. |