Primitive direcursion and difunctorial semantics of typed object calculus
- Författare
- Johan Glimming
- (Johan Glimming.)
- Genre
- theses
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Numerisk analys och datalogi (KTH CSC), Stockholms universitet | 2007 | Sverige, Stockholm | 63 sidor. | 978-91-7155-550-2 |