Typed Lambda Calculi and Applications: 8Th International Conference, TLCA 2007, Paris, France, June 26-28, 2007 Proceedings (Lecture notes in computer science, 0302-9743 4583)

Författare
Simona Ronchi Della Rocca
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2007 Utgivningsland okänt / Ej specificerat